💾 Archived View for soviet.circumlunar.space › ayb › papers.gmi captured on 2023-05-24 at 18:12:21. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-03)
-=-=-=-=-=-=-
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