Combining Dynamic and Recursive Types

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

Authors/Editors:	Hans Leiß
Publication Date:	1991
Type of Publication:	Veröffentlichungen in der Reihe CIS-Berichte