EasyChair Smart SlideDocs/Log in
Author: Patrick Bahr

This page shows all presentations of this author published in EasyChair Smart Slide.

What makes guarded types tick?

What makes guarded types tick?

Patrick Bahr, Bassel Mannaa and Rasmus Ejlers Møgelberg

Strict Ideal Completions of the Lambda Calculus

Strict Ideal Completions of the Lambda Calculus

Patrick Bahr

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair