Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Combining Dynamic and Recursive Types

Published in: Proceedings TLCA'93, Typed Lambda Calculus and Applications. Springer LNCS 664 CIS-Bericht-92-48

Publication Date: 1991
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte
Related Links