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

emms96

Martin Emms. Documentation for polyrec_sml: An extension of SML with typechecking for polymorphic recursion. Research Report Centrum f\"ur Informations- und Sprachverarbeitung, Universit\"at M\"unchen, No 95, 1995.

Keyword

[ Parametricity ]

Contact

Martin Emms

BibTex Reference

@TechReport{emms96,
   Author = {Emms, Martin},
   Title = {Documentation for polyrec_sml: An extension of SML with typechecking for polymorphic recursion},
   Number = {95},
   Institution = {Centrum f\"{u}r Informations- und Sprachverarbeitung, Universit\"{a}t M\"{u}nchen},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)