Crystal: from functional description to efficient parallel code
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Abstract continuations: a mathematical semantics for handling full jumps
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A unified system of parameterization for programming languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The Object-Oriented Functional Data Language
IEEE Transactions on Software Engineering
Enriching the lambda calculus with contexts: toward a theory of incremental program construction
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Logic and programming languages
Communications of the ACM
A programming language framework for designing user interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Syntax-Directed Amorphous Slicing
Automated Software Engineering
Completeness conditions for mixed strategy bidirectional parsing
Computational Linguistics
ACM SIGACT News
Gaussian elimination: a case study in efficient genericity with MetaOCaml
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Logic and programming languages
ACM Turing award lectures
Temporal slicing in the evaluation of XML queries
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
On the completeness of order-theoretic models of the λ-calculus
Information and Computation
A functional approach to non-monotonic logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Electronic Notes in Theoretical Computer Science (ENTCS)
Local variable scoping and kleene algebra with tests
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Relational semantics for higher-order programs
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Capsules and closures: a small-step approach
Logic and Program Semantics
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
Hi-index | 0.02 |
From the Publisher:"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source." -- American Mathematical Monthly