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

gil2001

Joseph Gil. Subtyping arithmetical types. In POPL, Pages 276-289, 2001.

Keyword

[ Rectype ]

Contact

Joseph Gil

BibTex Reference

@InProceedings{gil2001,
   Author = {Gil, Joseph},
   Title = {Subtyping arithmetical types},
   BookTitle = {POPL},
   Pages = {276--289},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)