Revised report on the algorithm language ALGOL 60
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Some proposals for improving the efficiency of ALGOL 60
Communications of the ACM
LISP 1.5 Programmer's Manual
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
Embedding continuations in procedural objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling strictness into streams
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computable values can be classical
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A calculus for assignments in higher-order languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract types have existential type
ACM Transactions on Programming Languages and Systems (TOPLAS)
&lgr;-V-CS: an extended &lgr;-calculus for scheme
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Typing first-class continuations in ML
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Models of continuations without continuations
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Full functional programming in a declarative Ada dialect
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
The early history of Smalltalk
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Semantics: the description of computational structures
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
DAda—an Ada preprocessor for functional programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
ACM Computing Surveys (CSUR)
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Ten Mini-Languages: A Study of Topical Issues in Programming Languages
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
A note on conditional expressions
Communications of the ACM
Production systems: or can we do better than BNF
Communications of the ACM
Fixpoint approach to the theory of computation
Communications of the ACM
A model for type checking: with an application to ALGOL 60
Communications of the ACM
Derived semantics for some programming language constructs
Communications of the ACM
Fen—an axiomatic basis for program semantics
Communications of the ACM
A language extension for graph processing and its formal semantics
Communications of the ACM
EULER: a generalization of ALGOL and it formal definition: Part 1
Communications of the ACM
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the definitional method of standard PL/I
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Readings in hardware/software co-design
"Type-completeness" as a language principle
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Fundamental Concepts in Programming Languages
Higher-Order and Symbolic Computation
Christopher Strachey—Understanding Programming Languages
Higher-Order and Symbolic Computation
A Trace Model for Pointers and Objects
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A trace model for pointers and objects
Programming methodology
The semantics of local storage, or what makes the free-list free?(Preliminary Report)
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Highlights of the history of the lambda-calculus
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
A data abstraction language based on microprogramming
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Explicit parallelism in LISP-like languages
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The correctness of a modified SECD machine
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
Short-term scheduling in multiprogramming systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Applicative style programming, program transformation, and list operators
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Debugging in a side effect free programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
A programmer controlled approach to data and control abstraction
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Macaroni is better than spaghetti
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
An applicative compiler for a parallel machine
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Program correctness methods and language definition
Proceedings of ACM conference on Proving assertions about programs
The Contour Model Lambda Calculus Machine
Proceedings of ACM conference on Proving assertions about programs
Transition functions: A method for semantic extensions
Proceedings of the international symposium on Extensible languages
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
The comparison of programming languages: A linguistic approach
ACM '68 Proceedings of the 1968 23rd ACM national conference
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Demonstrating lambda calculus reduction
The essence of computation
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Ten mini-languages in need of formal definition
ACM SIGPLAN Notices
Bracketing programme constructs
ACM SIGPLAN Notices
History of programming languages---II
Encyclopedia of Computer Science
The future of symbolic computation: mathematics versus languages
ACM SIGSAM Bulletin
Structured programming with go to statements
Classics in software engineering
Aspects of Applicative Programming for Parallel Processing
IEEE Transactions on Computers
The scheme environment: continuations
ACM SIGPLAN Lisp Pointers
Record of the Project MAC conference on concurrent systems and parallel computation
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
The formal description of programming languages
IBM Systems Journal
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
The lambda-gamma calculus: A language adequate for defining recursive functions
Information Sciences: an International Journal
Information Sciences: an International Journal
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
VDM semantics of programming languages: combinators and monads
Formal methods and hybrid real-time systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Java JR: fully abstract trace semantics for a core java language
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Core BPEL: syntactic simplification of WS-BPEL 2.0
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A lambda-calculus model of programming languages-I. Simple constructs
Computer Languages
Survey: A survey of state vectors
Computer Science Review
Call-by-Value solvability, revisited
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
| Hi-index | 48.38 |