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

car85

R. Cartwright. Types as Intervals. In Proc. 12th ACM Symp. on Principles of Programming Languages, Pages 22-36, New Orleans, Louisiana, January 1985.

Keywords

[ Rectype ] [ Parametricity ]

Contact

Robert Cartwright

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)