The Expression Problem Revisited
No abstract available.
DOI 10.1007/978-3-540-24851-4_6
Related papers
- Compositional recurrence analysis revisited PLDI 2017
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008
- Revisiting Iso-Recursive Subtyping TOPLAS 2022
- The recursive record semantics of objects revisited JFP 2004
- Polyhedra scanning revisited PLDI 2012
- Subtyping and intersection types revisited ICFP 2007
- Principled parsing for indentation-sensitive languages: revisiting landin's offside rule POPL 2013
- Revisiting coroutines TOPLAS 2009