H. Mairson. Deciding ML Typability is Complete for Deterministic Exponential Time. In Proc. 17th ACM Symp. on Principles of Programming Languages (POPL), January 1990.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)