default search action
LISP and Functional Programming 1982: Pittsburgh, PA, USA
- David M. R. Park, Daniel P. Friedman, David S. Wise, Guy L. Steele Jr.:
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982. ACM 1982, ISBN 0-89791-082-6
Session 1
- R. J. M. Hughes:
Super Combinators: A New Implementation Method for Applicative Languages. Symposium on LISP and Functional Programming 1982: 1-10 - Steven S. Muchnick, Neil D. Jones:
A Fixed-Program Machine for Combinator Expression Evaluation. Symposium on LISP and Functional Programming 1982: 11-20 - Richard Kennaway, M. Ronan Sleep:
Expressions as Processes. Symposium on LISP and Functional Programming 1982: 21-28
Session 2
- Corrado Böhm:
Combinatory Foundation of Functional Programming. Symposium on LISP and Functional Programming 1982: 29-36 - Gary Feldman:
Functional Specifications of a Text Editor. Symposium on LISP and Functional Programming 1982: 37-46 - Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin:
Experiments with a Supercompiler. Symposium on LISP and Functional Programming 1982: 47-55 - Michael J. Wise:
A Parallel Prolog: The Construction of a Data Driven Model. Symposium on LISP and Functional Programming 1982: 56-66 - Christopher D. S. Moss:
How to Define a Language Using PROLOG. Symposium on LISP and Functional Programming 1982: 67-73 - Paul R. Eggert, D. Val Schorre:
Logic Enhancement: A Metho for Extending Logic Programming Languages. Symposium on LISP and Functional Programming 1982: 74-80
Session 3
- Raymond L. Bates, David Dyer, Johannes A. G. M. Koomen:
Implementation of Interlisp on the VAX. Symposium on LISP and Functional Programming 1982: 81-87 - Martin L. Griss, Eric Benson, Gerald Q. Maguire Jr.:
PSL: A Portable LISP System. Symposium on LISP and Functional Programming 1982: 88-97 - Guy L. Steele Jr.:
An Overview of Common Lisp. Symposium on LISP and Functional Programming 1982: 98-107 - Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr.:
S-1 Common Lisp Implementation. Symposium on LISP and Functional Programming 1982: 108-113 - Jonathan Rees, Norman Adams:
T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool. Symposium on LISP and Functional Programming 1982: 114-122
Session 4
- Richard P. Gabriel, Larry Masinter:
Performance of Lisp Systems. Symposium on LISP and Functional Programming 1982: 123-142 - Claudio Gutiérrez:
Prolog Compared with Lisp. Symposium on LISP and Functional Programming 1982: 143-149 - Simon L. Peyton Jones:
An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. Symposium on LISP and Functional Programming 1982: 150-158 - Jeffrey L. Dawson:
Improved Effectiveness from a Real Time Lisp Garbage Collector. Symposium on LISP and Functional Programming 1982: 159-167 - Paul Hudak, Robert M. Keller:
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. Symposium on LISP and Functional Programming 1982: 168-178
Session 5
- Peter Henderson:
Functional Geometry. Symposium on LISP and Functional Programming 1982: 179-187 - Michael P. Georgeff:
A Scheme for Implementing Functional Values on a Stack Machine. Symposium on LISP and Functional Programming 1982: 188-195 - 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: 196-200 - Gyula Magó:
Data Sharing in an FFP Machine. Symposium on LISP and Functional Programming 1982: 201-207 - 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: 208-215
Session 6
- William D. Clinger:
Nondeterministic Call by Need is Neither Lazy Nor by Name. Symposium on LISP and Functional Programming 1982: 226-234 - A. Toni Cohen, Thomas J. Myers:
Toward an Algebra of Nondeterministic Programs. Symposium on LISP and Functional Programming 1982: 235-242 - David B. MacQueen, Ravi Sethi:
A Semantic Model of Types for Applicative Languages. Symposium on LISP and Functional Programming 1982: 243-252 - Robert Cartwright, James E. Donahue:
The Semantics of Lazy (and Industrious) Evaluation. Symposium on LISP and Functional Programming 1982: 253-264
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.