Publications
Filter by
Open menu
1 result for
T.K. Lakshman
Soft typing with conditional types
Alexander Aiken
Edward L. Wimmers
et al.
1994
POPL 1994