functorial

Tags

Azure CSharp Category Theory Compilers Haskell LINQ Parsing PolyKinds Recursion Testing Type Theory

All Posts

• 2013/05/18 - A Typed Markup Language Based On Haskell
• 2012/12/21 - One-Hole Contexts Generalize Diff To Containers
• 2012/08/04 - Testing Random Properties With Type Classes
• 2012/07/22 - What Makes the Free Monad Free?
• 2012/06/17 - Generalizing O(1) Snoc On Lists
• 2012/04/29 - Haskell On Azure
• 2012/02/21 - Abstraction Elimination For Linear Lambda Terms
• 2012/02/19 - What if Haskell had (co)-equalizers?
• 2012/02/12 - Typing Linear Lambda Terms
• 2012/02/12 - Doubly-Recursive Functions, Generically
• 2012/02/06 - Solving Constraints Generically
• 2012/02/02 - Fun With PolyKinds: Polykinded Folds
• 2011/12/28 - Enumerating Permutations
• 2011/05/02 - Typechecking a Purity Program
• 2012/05/01 - Abstraction Elimination in Purity
• 2011/02/17 - The Ins and Outs of Fixed Point Types
• 2011/02/16 - Mutually Recursive Types and Functions
• 2012/02/03 - Decorating Recursive Types
• 2011/02/02 - Finite Automata and Typed String Parsing
• 2011-01-27 - Strongly-Typed Format Strings
• 2011/01/27 - A Lemma on Fixed Points
• 2011/01/03 - LINQ to Probability Distributions
• 2010/12/15 - Value Lifting, Bounded Existentials and the Visitor Pattern
• 2010/12/10 - Histomorphisms, Dynamic Programming and the Knapsack Problem
• 2010/12/06 - Greatest Fixed Points Part 2 - The Conaturals
• 2010/12/05 - Greatest Fixed Points and Anamorphisms in C#
• 2010/12/04 - Least Fixed Points and Catamorphisms in C#
• 2010/12/04 - Existential Types in C#

Built using Hakyll