GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
ACM SIGART Bulletin
ACM SIGSMALL/PC Notes
An overview of data typing systems and data abstraction in programming languages
ACM SIGCSE Bulletin
Stores and partial continuations as first-class objects in a language and its environment
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generic instantiations as closures
ACM SIGAda Ada Letters
Teaching concurrency in the programming languages course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Building abstract iterators using continuations
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The evolution of the programming languages course
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Locking without blocking: making lock based concurrent data structure algorithms nonblocking
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Concurrent file operations in a high performance
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Elements of interaction: Turing award lecture
Communications of the ACM
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A generic account of continuation-passing styles
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Imperative functional programming
ACM Computing Surveys (CSUR)
An Automatic Program Generator for Multi-Level Specialization
Lisp and Symbolic Computation
Semantics directed compiling for functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
From Algol to polymorphic linear lambda-calculus
Journal of the ACM (JACM)
An alternative view of polymorphism
ACM SIGPLAN Notices
Growing languages with metamorphic syntax macros
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Information sharing and security in dynamic coalitions
SACMAT '02 Proceedings of the seventh ACM symposium on Access control models and technologies
Tagless staged interpreters for typed languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
Higher-Order and Symbolic Computation
Dynamic Denotational Semantics of Java
Formal Syntax and Semantics of Java
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
SuperPascal: a publication language for parallel scientific computing
The origin of concurrent programming
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
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Higher-order functional languages and intensional logic
Journal of Functional Programming
First-order functional languages and intensional logic
Journal of Functional Programming
Denotational semantics for "natural" language question-answering programs
Computational Linguistics
Proposal for a categorical programming language
ACM SIGPLAN Notices
Ada design, Jovial implementation
ACM SIGAda Ada Letters
Formal Semantics of Synchronous SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Haskell server pages through dynamic loading
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
ACM Turing award lectures
Mathematical Mathematical User Interfaces
Engineering Interactive Systems
Names and reference in user interfaces
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 2
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Refactoring functional programs
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
| Hi-index | 0.02 |