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