Search for persons
X
?
Proceedings of an ACM conference on Language design for reliable software ,
4
Early experience with Mesa:
, In:
?
Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages ,
9
A lazy evaluator:
, In:
?
Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages ,
12
Types are not sets:
, In:
?
Proceedings of the fourth annual ACM symposium on Theory of computing ,
13