Jump to : Keyword | Contact | BibTex reference | EndNote reference |

ma90

H. Mairson. Deciding ML Typability is Complete for Deterministic Exponential Time. In Proc. 17th ACM Symp. on Principles of Programming Languages (POPL), January 1990.

Keyword

[ Parametricity ]

Contact

H.G. Mairson

BibTex Reference

@InProceedings{ma90,
   Author = {Mairson, H.},
   Title = {Deciding {ML} Typability is Complete for Deterministic Exponential Time},
   BookTitle = {Proc. 17th ACM Symp. on Principles of Programming Languages (POPL)},
   Month = {January},
   Year = {1990}
}

EndNote Reference [help]

Get EndNote Reference (.ref)