Archive

Posts Tagged ‘coercion’

Generative Type Abstraction and Type-level Computation

November 4th, 2010 11:32 View Comments