A logical view of types
Hayes, Patrick J., Hendrix, Gary G.Volume:
16
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/960124.806897
Date:
January, 1981
File:
PDF, 232 KB
english, 1981