Archives

Here you can find all my previous posts:

• Cubical Type Theory March 7, 2021
• 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