Implementing Cantor's Paradise
Abstract elided by the publisher.
Related papers
- Paradise: a two-stage DSL embedded in Haskell ICFP 2008
- Pure and declarative syntax definition: paradise lost and regained OOPSLA 2010
- Cantor meets scott: semantic foundations for probabilistic networks POPL 2017
- In Cantor Space No One Can Hear You Stream ESOP 2026
- A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl) CPP 2023
- Implementational Reflection in Silica ECOOP 1991
- Implementation of Distributed Trellis ECOOP 1993
- Allocation Regions & Implementation Contracts ISMM 1992