1996

Conférence Internationale avec comité de lecture

• [AD96] M. Aponte, R. Dicosmo. "Type isomorphisms for module signatures", Symposium on Programming Language Implementation and Logic Programming (PLILP), January 1996, pp.334-346, Series LNCS,