[Haskell-cafe] ADT patch/update

Stephen Tetley stephen.tetley at gmail.com
Sat Aug 7 17:18:53 EDT 2010


Maybe this paper is close?

Type-safe diff for families of datatypes
Eelco Lempsink Sean Leather Andres Löh


More information about the Haskell-Cafe mailing list