[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