Characterization of principal types of normal forms in an intersection type system (bibtex)

by Emilie Sayag, Michel Mauny

Abstract:

We introduce a restriction of the intersection type discipline that leads to a principal type property in the classical sense for normal forms. We characterize completely the structure of principal types of normal forms and we give an algorith that reconstructs normal forms from types.

Reference:

E. Sayag, M. Mauny, "Characterization of principal types of normal forms in an intersection type system", in Proceedings of Foundations of Software Technology and Theoretical Computer Science, S. Verlag, Ed., 1996, pp. 335-346.

Bibtex Entry:

@InProceedings{Sayag-Mauny-1996a, author = {Emilie Sayag and Michel Mauny}, title = {Characterization of principal types of normal forms in an intersection type system}, booktitle = {Proceedings of Foundations of Software Technology and Theoretical Computer Science}, editor = {Springer Verlag}, volume = 1180, pages = {335--346}, year = 1996, abstract = {We introduce a restriction of the intersection type discipline that leads to a principal type property in the classical sense for normal forms. We characterize completely the structure of principal types of normal forms and we give an algorith that reconstructs normal forms from types.}, url = {http://www.mauny.net/data/papers/sayag-mauny-1996a.pdf}, }

Powered by bibtexbrowser