Kuncak, ViktorJackson, Daniel2007-08-212007-08-212007-08-212005https://infoscience.epfl.ch/handle/20.500.14299/10382On Relational Analysis of Algebraic Datatypestext::report