Symposium on LISP and Functional Programming

Keyphrases

Publications

1982

Paul Hudak, Robert M. Keller
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming (1982)
A. Toni Cohen, Thomas J. Myers
Toward an Algebra of Nondeterministic Programs. Symposium on LISP and Functional Programming (1982)
Eiichi Goto, Takashi Soma, N. Inada, Tetsuo Ida, Masanori Idesawa, Kei Hiraki, M. Suzuki, Kentaro Shimizu, B. Philipov
Design of a Lisp Machine - FLATS. Symposium on LISP and Functional Programming (1982)
Michael J. Wise
A Parallel Prolog: The Construction of a Data Driven Model. Symposium on LISP and Functional Programming (1982)
Michael P. Georgeff
A Scheme for Implementing Functional Values on a Stack Machine. Symposium on LISP and Functional Programming (1982)
Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.
S-1 Common Lisp Implementation. Symposium on LISP and Functional Programming (1982)
Corrado Böhm
Combinatory Foundation of Functional Programming. Symposium on LISP and Functional Programming (1982)
Steven S. Muchnick, Neil D. Jones
A Fixed-Program Machine for Combinator Expression Evaluation. Symposium on LISP and Functional Programming (1982)
Richard P. Gabriel, Larry Masinter
Performance of Lisp Systems. Symposium on LISP and Functional Programming (1982)
Jon L. White
Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations. Symposium on LISP and Functional Programming (1982)
Paul R. Eggert, D. Val Schorre
Logic Enhancement: A Metho for Extending Logic Programming Languages. Symposium on LISP and Functional Programming (1982)
Claudio Gutiérrez
Prolog Compared with Lisp. Symposium on LISP and Functional Programming (1982)
David B. MacQueen, Ravi Sethi
A Semantic Model of Types for Applicative Languages. Symposium on LISP and Functional Programming (1982)
Gyula Magó
Data Sharing in an FFP Machine. Symposium on LISP and Functional Programming (1982)
Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin
Experiments with a Supercompiler. Symposium on LISP and Functional Programming (1982)
Gary Feldman
Functional Specifications of a Text Editor. Symposium on LISP and Functional Programming (1982)
Jonathan Rees, Norman Adams
T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool. Symposium on LISP and Functional Programming (1982)
Guy L. Steele Jr.
An Overview of Common Lisp. Symposium on LISP and Functional Programming (1982)
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982. Symposium on LISP and Functional Programming (1982)
Richard Kennaway, M. Ronan Sleep
Expressions as Processes. Symposium on LISP and Functional Programming (1982)
Simon L. Peyton Jones
An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. Symposium on LISP and Functional Programming (1982)
Peter Henderson
Functional Geometry. Symposium on LISP and Functional Programming (1982)
Robert Cartwright, James E. Donahue
The Semantics of Lazy (and Industrious) Evaluation. Symposium on LISP and Functional Programming (1982)
Jeffrey L. Dawson
Improved Effectiveness from a Real Time Lisp Garbage Collector. Symposium on LISP and Functional Programming (1982)
R. J. M. Hughes
Super Combinators: A New Implementation Method for Applicative Languages. Symposium on LISP and Functional Programming (1982)
Christopher D. S. Moss
How to Define a Language Using PROLOG. Symposium on LISP and Functional Programming (1982)
Martin L. Griss, Eric Benson, Gerald Q. Maguire Jr.
PSL: A Portable LISP System. Symposium on LISP and Functional Programming (1982)
William D. Clinger
Nondeterministic Call by Need is Neither Lazy Nor by Name. Symposium on LISP and Functional Programming (1982)
Raymond L. Bates, David Dyer, Johannes A. G. M. Koomen
Implementation of Interlisp on the VAX. Symposium on LISP and Functional Programming (1982)