A Type System for the Push-Enter Model
No abstract available.
Related papers
- Making a fast curry: push/enter vs. eval/apply for higher-order languages ICFP 2004
- Making a fast curry: push/enter vs. eval/apply for higher-order languages JFP 2006
- Effects and Coeffects in Call-by-Push-Value OOPSLA 2024
- Functional reactive programming with liveness guarantees ICFP 2013
- Parallel performance tuning for Haskell Haskell 2009
- Typing Strictness POPL 2026
- The Push/Pull model of transactions PLDI 2015
- Polarized Subtyping ESOP 2022