Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

LISP and Functional Programming 1986: Cambridge, Massachusetts, USA

> Home > Conferences and Workshops > LISP and Functional Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/1986
William L. Scherlis, John H. Williams, Richard P. Gabriel:
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986. ACM 1986, ISBN 0-89791-200-4

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Thompson86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Thompson86
Simon J. Thompson:
Laws in Miranda. LISP and Functional Programming 1986: 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/ClementDDK86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/ClementDDK86
Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn:
A Simple Applicative Language: Mini-ML. LISP and Functional Programming 1986: 13-27
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/GiffordL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/GiffordL86
David K. Gifford, John M. Lucassen:
Integrating Functional and Imperative Programming. LISP and Functional Programming 1986: 28-38

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/AlbergaBMDP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/AlbergaBMDP86
Cyril N. Alberga, Chris Bosman-Clark, Martin Mikelsons, Mary S. Van Deusen, Julian A. Padget:
Experience with an Uncommon LISP. LISP and Functional Programming 1986: 39-53
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Padgeta86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Padgeta86
Julian A. Padget:
Desiderata for the Standardization of LISP. LISP and Functional Programming 1986: 54-66
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/BrooksPMWBG86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/BrooksPMWBG86
Rodney A. Brooks, David B. Posner, James L. McDonald, Jon L. White, Eric Benson, Richard P. Gabriel:
Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp. LISP and Functional Programming 1986: 67-87
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/BartleyJ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/BartleyJ86
David H. Bartley, John C. Jensen:
The Implementation of PC Scheme. LISP and Functional Programming 1986: 88-93

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/FairbairnW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/FairbairnW86
Jon Fairbairn, Stuart Wray:
Code Generation Techniques for Functional Languages. LISP and Functional Programming 1986: 94-104
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Knight86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Knight86
Thomas F. Knight:
An Architecture for Mostly Functional Languages. LISP and Functional Programming 1986: 105-112
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/LemaitreCDDL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/LemaitreCDDL86
Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan:
Mechanisms for Efficient Multiprocessor Combinator Reduction. LISP and Functional Programming 1986: 113-121
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Ramsdell86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Ramsdell86
John D. Ramsdell:
The CURRY Chip. LISP and Functional Programming 1986: 122-131

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/BlossH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/BlossH86
Adrienne G. Bloss, Paul Hudak:
Variations on Strictness Analysis. LISP and Functional Programming 1986: 132-142
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/DybvigFH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/DybvigFH86
R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes:
Expansion-Passing Style: Beyond Conventional Macros. LISP and Functional Programming 1986: 143-150
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/KohlbeckerFFD86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/KohlbeckerFFD86
Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba:
Hygienic Macro Expansion. LISP and Functional Programming 1986: 151-161
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/BoehmCRO86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/BoehmCRO86
Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell:
Exact Real Arithmetic: A Case Study in Higher Order Programming. LISP and Functional Programming 1986: 162-173

Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/White86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/White86
Jon L. White:
Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building. LISP and Functional Programming 1986: 174-191
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/SteenkisteH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/SteenkisteH86
Peter Steenkiste, John L. Hennessy:
LISP on a Reduced-Instruction-Set-Processor. LISP and Functional Programming 1986: 192-201
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/SarkarH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/SarkarH86
Vivek Sarkar, John L. Hennessy:
Partitioning Parallel Programs for Macro-Dataflow. LISP and Functional Programming 1986: 202-211
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Scheevel86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Scheevel86
Mark Scheevel:
NORMA: A Graph Reduction Processor. LISP and Functional Programming 1986: 212-219

Session 6

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/ClackJ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/ClackJ86
Chris D. Clack, Simon L. Peyton Jones:
The Four-Stroke Reduction Engine. LISP and Functional Programming 1986: 220-232
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/LeeP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/LeeP86
Peter Lee, Uwe F. Pleban:
On the Use of LISP in Implementing Denotational Semantics. LISP and Functional Programming 1986: 233-248
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/NielsonN86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/NielsonN86
Hanne Riis Nielson, Flemming Nielson:
Semantics Directed Compiling for Functional Languages. LISP and Functional Programming 1986: 249-257

Session 7

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Bawden86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Bawden86
Alan Bawden:
Connection Graphs. LISP and Functional Programming 1986: 258-265
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/MaunyS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/MaunyS86
Michel Mauny, Ascánder Suárez:
Implementing Functional Languages in the Categorical Abstract Machine. LISP and Functional Programming 1986: 266-278
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/SteeleH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/SteeleH86
Guy L. Steele Jr., W. Daniel Hillis:
Connection Machine LISP: Fine-Grained Parallel Symbolic Processing. LISP and Functional Programming 1986: 279-297

Session 8 - Panel: Object Oriented Programming in Lisp

Session 9

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/WandF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/WandF86
Mitchell Wand, Daniel P. Friedman:
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. LISP and Functional Programming 1986: 298-307
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Mitchell86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Mitchell86
John C. Mitchell:
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). LISP and Functional Programming 1986: 308-319
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/JayaramanS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/JayaramanS86
Bharat Jayaraman, Frank S. K. Silbermann:
Equations, Sets, and Reduction Semantics for Functional and Logic Programming. LISP and Functional Programming 1986: 320-331
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Thatte86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Thatte86
Satish R. Thatte:
Towards a Semantic Theory for Equational Programming Languages. LISP and Functional Programming 1986: 332-342

Session 10

- view
  authority control:
- export record
  dblp key:
  - conf/lfp/LermenM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/LermenM86
Claus-Werner Lermen, Dieter Maurer:
A Protocol for Distributed Reference Counting. LISP and Functional Programming 1986: 343-350
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Hudak86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Hudak86
Paul Hudak:
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). LISP and Functional Programming 1986: 351-363
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/Rudalics86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/Rudalics86
Martin Rudalics:
Distributed Copying Garbage Collection. LISP and Functional Programming 1986: 364-372

a service of

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.