Type inference with recursive types: Syntax and semantics
Felice Cardone, Mario CoppoVolume:
92
Year:
1991
Language:
english
Pages:
33
DOI:
10.1016/0890-5401(91)90020-3
File:
PDF, 1.71 MB
english, 1991