Archives
Here you can find all my previous posts:- The G-machine In Detail, or How Lazy Evaluation Works - January 31, 2020
- A Quickie: A Use Case for Impredicative Polymorphism - October 19, 2019
- Typed Type-Level Computation in Amulet - October 4, 2019
- Interactive amc-prove - September 29, 2019
- Announcement: amc-prove - September 25, 2019
- A Quickie: Manipulating Records in Amulet - September 22, 2019
- Compositional Typing for ML - January 28, 2019
- Amulet updates - August 11, 2018
- GADTs and Amulet - March 27, 2018
- Amulet and Language Safety - March 14, 2018
- Amulet's New Type Checker - February 18, 2018
- The Amulet Programming Language - January 18, 2018
- Dependent Types - September 8, 2017
- Multimethods in Urn - August 15, 2017
- Optimisation through Constraint Propagation - August 6, 2017
- The Urn Pattern Matching Library - August 2, 2017
- Delimited Continuations, Urn and Lua - August 1, 2017
- Monadic Parsing with User State - August 26, 2016
- Dependent types in Haskell - Sort of - August 23, 2016
- You could have invented Parsec - August 17, 2016