Type Inference for Recursively Constrained Types and its Application to OOP
Jonathan Eifrig, Scott Smith, Valery TrifonovVolume:
1
Year:
1995
Language:
english
Pages:
22
DOI:
10.1016/s1571-0661(04)80008-2
File:
PDF, 1.06 MB
english, 1995