Type-safe diff for families of datatypes.

Eelco Lempsink Sean Leather Andres Löh

Published in: WGP@ICFP (2009)

Keyphrases

data types
type checking
database systems
data structure
database
information systems
databases
decision making
high dimensional
special case
user defined