A Type-Theoretic Approach to Higher-Order Modules with Sharing (1994)

by Robert Harper , Mark Lillibridge
Citations:268 - 23 self

Document Versions

A Type-Theoretic Approach to Higher-Order Modules with Sharing –Robert Harper, Mark Lillibridge — 1994
A type-theoretic approach to higher-order modules with sharing –Robert Harper, Mark Lillibridge — 1994 — IN PROCEEDINGS OF THE 21ST ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL
A Type-Theoretic Approach to Higher-Order Modules with Sharing –Robert Harper, Mark Lillibridge — 1994 — In Twenty-First ACM Symposium on Principles of Programming Languages
A Type-Theoretic Approach to Higher-Order Modules with Sharing –Robert Harper, Mark Lillibridge — 1994 — In Twenty-First ACM Symposium on Principles of Programming Languages
A Type-Theoretic Approach to Higher-Order Modules with Sharing –Robert Harper, Mark Lillibridge — 1993 — In Twenty-First ACM Symposium on Principles of Programming Languages
A Type-Theoretic Approach to Higher-Order Modules with Sharing –Robert Harper , Mark Lillibridge — 1994 — IN TWENTY-FIRST ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES