Conversation Types
Abstract elided by the publisher.
Related papers
- From Call-by-Value to Interaction by Typed Closure Conversion APLAS 2015
- Flow-Directed Closure Conversion for Typed Languages ESOP 2000
- Canonical Typing and Pi-Conversion in the Barendregt Cube JFP 1996
- Typed closure conversion preserves observational equivalence ICFP 2008
- A correct-by-construction conversion from lambda calculus to combinatory logic JFP 2023
- Typed closure conversion for the calculus of constructions PLDI 2018
- Completeness and decidability of converse PDL in the constructive type theory of Coq CPP 2018
- Typed Closure Conversion POPL 1996