Type Inference for Sublinear Space Functional Programming
Abstract elided by the publisher.
Related papers
- Functional Programming in Sublinear Space ESOP 2010
- Sublinear-Space Evaluation Algorithms for Attribute Grammars TOPLAS 1987
- POSTER: STAR (Space-Time Adaptive and Reductive) Algorithms for Real-World Space-Time Optimality PPoPP 2017
- Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming ICFP 1999
- Functional Pearl trouble shared is trouble halved Haskell 2003
- Denotational validation of higher-order Bayesian inference POPL 2018
- Automatic Type Inference for Amortised Heap-Space Analysis ESOP 2013
- Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) POPL 1996