R. Cartwright. Types as Intervals. In Proc. 12th ACM Symp. on Principles of Programming Languages, Pages 22-36, New Orleans, Louisiana, January 1985.
[ Rectype ] [ Parametricity ]
@InProceedings{car85,
Author = {Cartwright, R.},
Title = {Types as Intervals},
BookTitle = {Proc. 12th ACM Symp. on Principles of Programming Languages},
Pages = {22--36},
Address = {New Orleans, Louisiana},
Month = {January},
Year = {1985}
}
Get EndNote Reference (.ref)