Posts tagged "types"

• Subtracting natural numbers: types and usability - February 7, 2023
• Types for top-level definitions - August 27, 2022
• Implementing Hindley-Milner with the unification-fd library - September 8, 2021
• Types versus sets in math and programming languages - June 24, 2021
• Anafunctors - June 16, 2014
• AC and equivalence of categories - June 5, 2014
• Unique isomorphism and generalized "the" - May 13, 2014
• Avoiding the axiom of choice, part I - May 8, 2014
• Unordered tuples and type algebra - August 24, 2012
• Typed type-level programming: status report - December 3, 2010
• On a Problem of sigfpe - August 12, 2010
• Typed type-level programming in Haskell, part IV: collapsing types and kinds - August 5, 2010
• Typed type-level programming in Haskell, part II: type families - July 6, 2010