Infoscience

Conference paper

Relational Analysis of Algebraic Datatypes

    Note:

    See http://infoscience.epfl.ch/search.py?recid=110235&ln;=en for full version.

    Reference

    • LARA-CONF-2005-001

    Record created on 2007-08-21, modified on 2016-08-08

Related material