This is an archive of old blog post content from my old blog. Posts don't contain the original images or links.
- Dec 4, 2010 - Least Fixed Points and Catamorphisms in C#
- Dec 6, 2010 - Greatest Fixed Points Part II : The Conaturals
- Dec 5, 2010 - Greatest Fixed Points and Anamorphisms in C#
- Dec 10, 2010 - A short note on fixed point types
- Dec 10, 2010 - Histomorphisms, Dynamic Programming and the Knapsack Problem
- Dec 15, 2010 - Value Lifting, Bounded Existentials and the Visitor Pattern
- Jan 3, 2011 - LINQ to Probability Distributions
- Jan 10, 2011 - Yet Another LINQ to Objects Implementation
- Jan 27, 2011 - A Lemma on Fixed Points
- Jan 27, 2011 - Strongly Typed Format Strings in C#
- Feb 2, 2011 - Finite Automata and Typed String Parsing
- Feb 3, 2011 - Decorating Recursive Types
- Feb 16, 2011 - Mutually Recursive Types and Functions
- Feb 17, 2011 - The Ins and Outs of Fixed Point Types
- Feb 27, 2011 - Purity - A CLR-Hosted Total Functional Programming Langauge
- Mar 13, 2011 - Purity Example - Quicksort
- May 1, 2011 - Abstraction Elimination in Purity
- May 1, 2011 - New Language Features Available in the Purity Silverlight Demo
- May 2, 2011 - Typechecking a Purity Program