The software is a prototypal isomorphism checker for intersection types, implementing the algorithm described in the paper by M. Dezani Ciancaglini, R. Di Cosmo, E. Giovannetti, M. Tatsuta, "On Isomorphisms of Intersection Types", ACM ToCL, Vol. V, 2009.
Isomorphism checker for intersection-types
DEZANI, Mariangiola;GIOVANNETTI, Elio;
2010-01-01
Abstract
The software is a prototypal isomorphism checker for intersection types, implementing the algorithm described in the paper by M. Dezani Ciancaglini, R. Di Cosmo, E. Giovannetti, M. Tatsuta, "On Isomorphisms of Intersection Types", ACM ToCL, Vol. V, 2009.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
