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