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.
2010
beta
Dipartimento di Informatica
http://lambda.di.unito.it/iso/index.html
intersection types; isomorphism
Mariangiola Dezani; Elio Giovannetti; Loris D'Antoni; Daniele Rispoli
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/86504
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact