• Publications
  • Influence
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the mostExpand
  • 1,122
  • 83
  • PDF
A software engineering experiment in software component generation
TLDR
The paper presents results of a software engineering experiment in which a new technology for constructing program generators from domain-specific specification languages has been compared with a reuse technology that employs sets of reusable Ada program templates. Expand
  • 191
  • 4
Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers
TLDR
A method for syntactic error recovery that is compatible with deterministic parsing methods and that is able to recover from many errors more quickly than do other schemes because it performs global context recovery. Expand
  • 39
  • 3
An Overview of the Programatica Toolset
TLDR
This paper describes the current version of the Programatica tools and illustrates how they address some of the above goals in practice. Expand
  • 25
  • 2
  • PDF
The Semantic Layers of Timber
TLDR
We present a three-layered semantics of Timber, a language designed for programming real-time systems in a reactive, object-oriented style. Expand
  • 37
  • 2
  • PDF
The G-Machine: A Fast, Graph-Reduction Evaluator
TLDR
The G-machine is an abstract architecture for evaluating functional-language programs by programmed graph reduction. Expand
  • 62
  • 1
  • PDF
Transformations of FP program schemes
TLDR
The perceived inefficiency in execution functional programming languages has been an obstacle to their widespread acceptance. Expand
  • 41
  • 1
Reactive objects
TLDR
We present a consistent model of event-based concurrency, centered around the notion of reactive objects, which relieves the object-oriented paradigm from the idea of transparent blocking, and naturally enforces reactivity and state consistency. Expand
  • 52
  • 1
  • PDF
Comments on “Communicating Sequential Processes”
In his recent paper, “Communicating Sequential Processes” (Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a programming language notation for interprocess communication in whichExpand
  • 39
  • 1
Access-Right Expressions
TLDR
A notation is provided in which to express sequential constraints, which are here called accessright expressions. Expand
  • 19
  • 1