J. Reynolds. Even Normal Forms can be Hard to Type. Extended abstract, December 1989.
[ Parametricity ]
@Misc{reynolds89,
Author = {Reynolds, J.},
Title = {Even Normal Forms can be Hard to Type},
Howpublished = {Extended abstract},
Month = {December},
Year = {1989}
}
Get EndNote Reference (.ref)