Nov
15th
Thu
15th
Generic programming with type-indexed data types using type families.
On Monday I gave a talk at SAPLING on some recent ideas for coding Generic Haskell-style type-indexed data types using type families.