From Call-by-Value to Interaction by Typed Closure Conversion
Abstract elided by the publisher.
Related papers
- Typed Closure Conversion POPL 1996
- Flow-Directed Closure Conversion for Typed Languages ESOP 2000
- Selective and Lightweight Closure Conversion POPL 1994
- Lightweight Closure Conversion TOPLAS 1997
- Typed closure conversion preserves observational equivalence ICFP 2008
- Polymorphic typed defunctionalization POPL 2004
- Efficient and safe-for-space closure conversion TOPLAS 2000
- Typed closure conversion for the calculus of constructions PLDI 2018