Revised report on the algorithmic language scheme

Specification and implementation of programs for updating incomplete information databases

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Embedding continuations in procedural objects

ACM Transactions on Programming Languages and Systems (TOPLAS)

Macro-by-example: Deriving syntactic transformations from their specifications

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Control flow analysis in scheme

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation

Parcel: project for the automatic restructuring and concurrent evaluation of LISP

ICS '88 Proceedings of the 2nd international conference on Supercomputing

Tutorial: abstraction in numerical methods

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

Continuations may be unreasonable

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

A variable-arity procedural interface

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

Implementation strategies for continuations

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

Object-oriented programming in scheme

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

An open-ended data representation model for EU_LISP

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

Intensions and extensions in a reflective tower

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming

Welding advisory system for process selection “WASPS”

IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1

The Alonzo functional programming language

ACM SIGPLAN Notices

The runtime environment for Scheme, a Scheme implementation on the 88000

ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems

Conception, evolution, and application of functional programming languages

ACM Computing Surveys (CSUR)

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

The theory and practice of first-class prompts

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Mul-T: a high-performance parallel Lisp

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation

Experiences creating a portable cedar

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation

A module system for scheme

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Comprehending monads

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Efficient stack allocation for tail-recursive languages

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Abstracting control

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Reasoning with continuations II: full abstraction for models of control

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming

Representing control in the presence of first-class continuations

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

How to read floating point numbers accurately

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

Generators and the replicator control structure in the parallel environment of ALLOY

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

A formulae-as-type notion of control

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Making asynchronous parallelism safe for the world

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The A+ programming language, a different APL

APL '90 Conference proceedings on APL 90: for the future

A PC-based expert system in engineering

IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2

Continuations and concurrency

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming

Nondeterminism and unification in LogScheme: integrating logic and functional programming

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

Static and dynamic semantics processing

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Macros that work

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A dynamic extent control operator for partial continuations

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Parameter-passing and the lambda calculus

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The role of simulation in developing game playing strategies

ANSS '90 Proceedings of the 23rd annual symposium on Simulation

Verifying the correctness of compiler transformations on basic blocks using abstract interpretation

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Towards multiple self-application

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Using types to avoid redundant specialization

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Making pure object-oriented languages practical

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications

Standard-output: Scheme standardization

ACM SIGPLAN Lisp Pointers

HARE: an optimizing portable compiler for Scheme

ACM SIGPLAN Notices

A gentle introduction to Haskell

ACM SIGPLAN Notices - Haskell special issue

Report on the programming language Haskell: a non-strict, purely functional language version 1.2

ACM SIGPLAN Notices - Haskell special issue

CONS should not CONS its arguments, or, a lazy alloc is a smart alloc

ACM SIGPLAN Notices

Visualizing evaluation in applicative languages

Communications of the ACM

Proving the correctness of storage representations

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Taming the Y operator

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

A confluent calculus of Macro expansion and evaluation

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Dynamic program parallelization

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

A foundation for an efficient multi-threaded scheme system

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming

Lively linear Lisp: “look ma, no garbage!”

ACM SIGPLAN Notices

A customizable substrate for concurrent languages

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Linear continuations

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Generating a compiler for a lazy language by partial evaluation

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Walks into the APL design space

APL '92 Proceedings of the international conference on APL

The CTalk programming language: a strategic evolution of APL

APL '92 Proceedings of the international conference on APL

No assembly required: compiling standard ML to C

ACM Letters on Programming Languages and Systems (LOPLAS)

The evolution of Lisp

HOPL-II The second ACM SIGPLAN conference on History of programming languages

Unreachable procedures in object-oriented programming

ACM Letters on Programming Languages and Systems (LOPLAS)

Iterators: signs of weakness in object-oriented languages

ACM SIGPLAN OOPS Messenger

Equal rights for functional objects or, the more things change, the more they are the same

ACM SIGPLAN OOPS Messenger

Hyperform: using extensibility to develop dynamic, open, and distributed hypertext systems

ECHT '92 Proceedings of the ACM conference on Hypertext

Memory subsystem performance of programs using copying garbage collection

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The role of consensus

Communications of the ACM

Cache performance of garbage-collected programs

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation

Towards better inlining decisions using inlining trials

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming

Compiler transformations for high-performance computing

ACM Computing Surveys (CSUR)

Futures and multiple values in parallel Lisp

ACM SIGPLAN Lisp Pointers

The automatic generation of functional test vectors for Rambus designs

DAC '96 Proceedings of the 33rd annual Design Automation Conference

FramerD: representing knowledge in the large

IBM Systems Journal

Research Demonstration of a Hardware Reference-Counting Heap

Lisp and Symbolic Computation

Denotational semantics using an operationally-based term model

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Technical correspondence

Communications of the ACM

Lazy rewriting on eager machinery

ACM Transactions on Programming Languages and Systems (TOPLAS)

Memo

ACM SIGAPL APL Quote Quad

Revised report on the algorithmic language scheme

ACM SIGPLAN Lisp Pointers

Real-time FRP

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Reasoning about nonlinear system identification

Artificial Intelligence

Global solutions for nonlinear systems using qualitative reasoning

Annals of Mathematics and Artificial Intelligence

Revised Report on the Algorithmic Language Scheme

Higher-Order and Symbolic Computation

Implementation Strategies for First-Class Continuations

Higher-Order and Symbolic Computation

Orthogonally persistent object systems

The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems

Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming

Incorporating an Object-Oriented Programming Language into the First Year of a Software Engineering Education

SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)

SuperGlue: a programming environment for scientific visualization

VIS '92 Proceedings of the 3rd conference on Visualization '92

Relating operational and denotational semantics for input/output effects

Mathematical Structures in Computer Science

Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned

ACM SIGPLAN Notices - Best of PLDI 1979-1999

How to read floating point numbers accurately

ACM SIGPLAN Notices - Best of PLDI 1979-1999

The evolution of Lisp

History of programming languages---II

Pluggable AOP: designing aspect mechanisms for third-party composition

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Combining algebraic effects with continuations

Theoretical Computer Science

A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages

Performance implications of multiple pointer sizes

TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings

The scheme of things: streams versus generators

ACM SIGPLAN Lisp Pointers

Compacting garbage collection with ambiguous roots

ACM SIGPLAN Lisp Pointers

Dynamic extent objects

ACM SIGPLAN Lisp Pointers

The scheme of things: exact and inexact numbers

ACM SIGPLAN Lisp Pointers

Readings in scheme

ACM SIGPLAN Lisp Pointers

The scheme of things: standardization at Snowbird

ACM SIGPLAN Lisp Pointers

Scheme@33

Celebrating the 50th Anniversary of Lisp

Revised6 report on the algorithmic language scheme

Journal of Functional Programming

Formal Semantics of Programming Languages

Electronic Notes in Theoretical Computer Science (ENTCS)

Towards compatible and interderivable semantic specifications for the scheme programming language, part I: denotational semantics, natural semantics, and abstract machines

Semantics and algebraic specification

Non-deterministic lisp with dependency-directed backtracking

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

The scheme environment

ACM SIGPLAN Lisp Pointers

Non-deterministic lisp with dependency-directed backtracking

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1

Closure generation based on viewing lambda as epsilon plus compile

Computer Languages

First-class stores and partial continuations in a programming language and environment

Computer Languages

Laziness by need

ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems