Transformations and reduction strategies for typed lambda expressions
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
An operational semantics for I/O in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
An Algorithmic Semantics for ALGOL 60 Identifier Denotation
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Communications of the ACM
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
An Introduction to Landin‘s “A Generalization of Jumps and Labels”
Higher-Order and Symbolic Computation
A Generalization of Jumps and Labels
Higher-Order and Symbolic Computation
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
Short-term scheduling in multiprogramming systems
ACM SIGOPS Operating Systems Review
The scope of variable concept: the key to structured programming?
ACM SIGPLAN Notices
TinkerType: a language for playing with formal systems
Journal of Functional Programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
On the formal definition of PL/I
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
The formal description of programming languages
IBM Systems Journal
Higher-Order and Symbolic Computation
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Core BPEL: syntactic simplification of WS-BPEL 2.0
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 48.23 |