Other presentations

  1. Inferring type isomorphisms generically

    Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some, canonical cases, the conversion function is uniquely determined solely by the two types involved. In this article we describe and …

    read more

Page 1 / 1

hosted by