💾 Archived View for soviet.circumlunar.space › ayb › papers.gmi captured on 2021-12-03 at 14:04:38. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Syntax and Semantics of Quantitative Type Theory
Type checking in the presence of meta-variables
Elaboration with First-Class Implicit Function Types
UNIX Style, or cat -v Considered Harmful
The Next 700 Programming Languages
The Next 7000 Programming Languages
Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine
λ to SKI, Semantically Declarative Pearl
Efficiency of Lambda-Encodings in Total Type Theory
Implementing the ABC-machine on M680x0 based architectures
Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl