A PolyTime Functional Language from Light Linear Logic
Abstract elided by the publisher.
Related papers
- A New Order-Theoretic Characterisation of the Polytime Computable Functions APLAS 2012
- Practical affine types POPL 2011
- Light Logic and Resource Bounded Computation APLAS 2000
- Proof-producing translation of higher-order logic into pure and stateful ML JFP 2014
- Algebras and coalgebras in the light affine Lambda calculus ICFP 2015
- You Only Linearize Once: Tangents Transpose to Gradients POPL 2023
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- Lilac: A Functional Programming Language Based on Linear Logic JFP 1994