NobleBlocks
Public

Empty types in polymorphic lambda calculus

Published in Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '87 • Jan 1, 1987
NobleIDark:/48914/w1/20260525/90575ED4Record on NobleID
Authors:
A. R. Meyer
,
J. C. Mitchell
,
E. Moggi
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!