A Nonstandard Functional Programming Language
No abstract available.
Related papers
- First-class nonstandard interpretations by opening closures POPL 2007
- Exercises in Nonstandard Static Analysis of Hybrid Systems CAV 2012
- Hyperstream processing systems: nonstandard modeling of continuous-time signals POPL 2013
- A nonstandard standardization theorem POPL 2014
- Higher-Order Modules and the Phase Distinction POPL 1990
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- Lazy multivariate higher-order forward-mode AD POPL 2007
- Eta-Expansion Does The Trick TOPLAS 1996