Archives
Here you can find all my previous posts:-
On Induction January 15, 2021
-
Reflections on Equality October 30, 2020
-
This Sentence is False, or: On Natural Language, Typing and Proof September 9, 2020
-
The Semantics of Evaluation & Continuations July 12, 2020
-
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