A kernel language for abstract data types and modules.
Proc. of the international symposium on Semantics of data types
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Environments as first class objects
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
ICON Programmng Language
Expression evaluation in the icon programming language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A unified system of parameterization for programming languages
A unified system of parameterization for programming languages
Quasi-static scoping: sharing variable bindings across multiple lexical scopes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The typed polymorphic label-selective λ-calculus
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Enriching the lambda calculus with contexts: toward a theory of incremental program construction
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Sharing code through first-class environments
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Qlisp: Parallel Processing in Lisp
IEEE Software
From dynamic binding to state via modal possibility
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Hi-index | 0.00 |