Skip to main content
placeholder image

The inhabitation problem for intersection types

Conference Paper


Download full-text (Open Access)

Abstract


Editors


  •   Manyem, Prabhu (external editor)
  •   Harland, James (external editor)

Publication Date


  • 2008

Citation


  • Bunder, M. W. (2008). The inhabitation problem for intersection types. In J. Harland & P. Manyem (Eds.), Computing: The Australasian Theory Symposium (pp. 7-14). Bedford Park: Australian Computer Society Inc..

Scopus Eid


  • 2-s2.0-70350307738

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=1689&context=infopapers

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/684

Has Global Citation Frequency


Abstract


Editors


  •   Manyem, Prabhu (external editor)
  •   Harland, James (external editor)

Publication Date


  • 2008

Citation


  • Bunder, M. W. (2008). The inhabitation problem for intersection types. In J. Harland & P. Manyem (Eds.), Computing: The Australasian Theory Symposium (pp. 7-14). Bedford Park: Australian Computer Society Inc..

Scopus Eid


  • 2-s2.0-70350307738

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=1689&context=infopapers

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/684

Has Global Citation Frequency