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.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)