Encoding types in ML-like languages. (1998)

by Z Yang
Venue:In ICPF 98. Association of Computing Machinery, Inc,