Archives
A list of previous posts:- Runtime Tagging - October 12, 2015
- Two Different Flavors of Type Theory - September 27, 2015
- Type is not in Type - August 26, 2015
- Solving Recursive Equations - August 14, 2015
- Learn Type Theory - August 14, 2015
- Coinduction in JonPRL for Low Low Prices - July 17, 2015
- A Basic Tutorial on JonPRL - July 6, 2015
- Proving Cut Admissibility in Twelf - June 29, 2015
- Examining Hackage: pipes - June 1, 2015
- Compiling a Lazy Language in 1,000 words - May 19, 2015
- A Proof of Church Rosser in Twelf - May 5, 2015
- Bracket Abstraction: The Smallest PL You've Ever Seen - May 1, 2015
- Compiling With CPS - April 30, 2015
- SML for Haskellers - April 24, 2015
- Value vs Monomorphism Restriction - March 27, 2015
- A Tiny Compiler For A Typed Higher Order Language - March 24, 2015
- Worlds in Twelf - March 7, 2015
- An Explanation of Type Inference for ML/Haskell - February 28, 2015
- A Twelf Introduction - February 28, 2015
- Notes on Proof Theory: Part 1 - February 11, 2015
- Observations about -XStaticPointers - January 27, 2015
- Why Constructive Logic - January 9, 2015
- A Crash Course on ML Modules - January 8, 2015
- Examining Hackage: folds - December 27, 2014
- Examining Hackage: operational - December 25, 2014
- What Are Impredicative Types? - December 23, 2014
- Notes on Parametricity - December 22, 2014
- Treating Programs like Vending Machines - December 19, 2014
- Cooking λΠ 3 ways - December 17, 2014
- Examining Hackage: concurrent-supply - November 26, 2014
- Bidirectional Type Checkers for λ→ and λΠ - November 22, 2014
- Functors and Recursion - November 19, 2014
- The Guts of a Spineless Machine - October 28, 2014
- Notes on Focusing - October 27, 2014
- Update on Old Projects - October 24, 2014
- Notes on Quotients Types - October 17, 2014
- Notes on Abstract and Existential Types - September 29, 2014
- Introduction to Dependent Types: Off, Off to Agda Land - September 21, 2014
- Introduction to Dependent Types: Haskell on Steroids - August 25, 2014
- Equality is Hard - August 6, 2014
- Many Shades of Halting Oracles - July 30, 2014
- A Tutorial on Church Representations - July 19, 2014
- Examining Hackage: extensible-effects - July 15, 2014
- Examining Hackage: logict - July 10, 2014
- Dissecting crush - July 9, 2014
- Some Useful Agda - June 28, 2014
- Teaching Python with a Raspberry Pi - June 23, 2014
- Grokking recursion-schemes: Part 2 - June 14, 2014
- Overview of A Scheme Compiler - June 7, 2014
- Grokking recursion-scheme: Part 1 - May 19, 2014
- Getting Proper Tail Calls Out of C - May 5, 2014
- You Could Have Invented GHC.Generics - April 25, 2014
- Continuations and Exceptions - April 14, 2014
- Bargain Priced Coroutines - April 8, 2014
- Church Representations: Part 3 - March 10, 2014
- Church Representations: Part 2 - March 7, 2014
- Church Representations - March 6, 2014
- Types and Kinds and Sorts, Oh My! - February 10, 2014
- Optimizing a Trie - January 28, 2014
- Faking Existentials with Rank N Types - January 14, 2014
- Some Fun Dependently Typed Programs - December 24, 2013
- Sieves in Haskell: Part 2 - December 17, 2013
- Colleges and My Not-So-Distant Future - December 15, 2013
- Sieves in Haskell - December 3, 2013
- Sports for Geeks - November 29, 2013
- Fixpoints and Iso-recursive Types - November 9, 2013
- Learn You Some Category Theory - October 22, 2013
- Representable Functors - October 21, 2013
- Please Don't Learn Category Theory to Learn Haskell - October 14, 2013
- forall Means All! - October 6, 2013
- Naive Map Isn't So Naive - October 1, 2013
- Logic and Continuations - September 12, 2013
- Teens and Functional Programming - September 8, 2013
- Leaving Go - August 23, 2013
- Blog Re-Init - August 23, 2013