Answer Type Polymorphism in Call-by-Name Continuation Passing
No abstract available.
Related papers
- From control effects to typed continuation passing POPL 2003
- Explicit Polymorphism and CPS Conversion POPL 1993
- Operational Interpretations of an Extension of Fomega with Control Operators JFP 1996
- Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers POPL 2024
- Polymorphism by Name for References and Continuations POPL 1993
- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style ESOP 2022
- An approach to call-by-name delimited continuations POPL 2008
- Call-by-Unboxed-Value ICFP 2024