Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Documentation for polyrec_sml: An Extension of SML with Typechecking for Polymorphic Recursion

CIS-Bericht-96-88

Authors/Editors: Martin Emms
Publication Date: 1996
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte
Related Links