Patrick Bahr
Talks
Overview
Teaching
Publications
Talks
About Me
Contact
Compositional Data Types - A Report from the Field
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
Categories:
Recursion Schemes, Type Systems
bib
url
Slides
Proceedings
Talks by Type
Invited Talks
Conferences / Workshops
Seminar Talks
Miscellaneous
Talks by Year
2018
2017
2016
2015
2014
2013
2012
2011
2010
2007
Talks by Topic
Compilers
Domain-specific Languages
Formal Verification
Recursion Schemes
Rewriting
Type Systems
Type Theory
Miscellaneous
Recent Publications
Convergence in Infinitary Term Graph Rewriting Systems is Simple
Math. Struct. Comput. Sci.
Strict Ideal Completions of the Lambda Calculus
FSCD '18
What makes guarded types tick?
PARIS '18
Böhm Reduction in Infinitary Term Graph Rewriting Systems
FSCD '17
Compiling a 50-year journey
J. Funct. Programming
More...
Recent Talks
Strict Ideal Completions of the Lambda Calculus
FSCD '18
What makes guarded types tick?
PARIS '18
Böhm reduction for terms and term graphs
IWC '17
Böhm Reduction in Infinitary Term Graph Rewriting Systems
FSCD '17
The Clocks Are Ticking: No More Delays!
LICS '17
More...