Design Documents
Bootstrapping OftLisp
Composable Type Systems
Effect Systems
FFI
Notebook
Patterns
The Macro System
The Module System
OftOS
Filesystem
Useful Type Systems
Useful Type Systems
Fully Dynamic
System F-ish, with
Dynamic Type
Session Types
Dependent Types for P-TIME / P-SPACE