![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
LISP and Functional Programming 1988: Snowbird, Utah, USA
- Jérôme Chailloux:
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988. ACM 1988, ISBN 0-89791-273-X - Gerald J. Sussman, Matthew Halfant:
Tutorial: Abstraction in Numerical Methods. 1-7 - Gerald Roylance:
Expressing Mathematical Subroutines Constructively. 8-13 - Jean Vuillemin:
Exact Real Computer Arithmetic with Continued Fractions. 14-27 - Pete Tinker, Morry Katz:
Parallel Execution of Sequential Scheme with ParaTran. 28-39 - Benjamin Goldberg:
Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. 40-51 - Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba:
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps. 52-62 - Albert R. Meyer, Jon G. Riecke:
Continuations May be Unreasonable. 63-71 - Matthias Felleisen:
lambda-V-CS: An Extended lambda-Calculus for Scheme. 72-85 - Alan Bawden, Jonathan Rees
:
Syntactic Closures. 86-95 - Annika Aasa, Kent Petersson, Dan Synek:
Concrete Syntax for Data Objects in Functional Languages. 96-105 - R. Kent Dybvig, Robert Hieb:
A Variable-Arity Procedural Interface. 106-115 - Andrew A. Berlin, Henry M. Wu:
Scheme86: A System for Interpreting Scheme. 116-123 - William D. Clinger, Anne Hartheimer, Eric Ost:
Implementation Strategies for Continuations. 124-131 - Mark R. Swanson, Robert R. Kessler, Gary Lindstrom:
An Implementation of Portable Standard LISP on the BBN Butterfly. 132-142 - Ron Goldman, Richard P. Gabriel:
Preliminary Results with the Initial Implementation of Qlisp. 143-152 - Frank Pfenning:
Partial Polymorphic Type Inference and Higher-Order Unification. 153-163 - Simon Martini:
Bounded Quantifiers Have Interval Models. 164-173 - Atsushi Ohori, Peter Buneman:
Type Inference in a Database Programming Language. 174-183 - Fritz Henglein:
Type Inference and Semi-Unification. 184-197 - Lalita Jategaonkar, John C. Mitchell:
ML with Extended Pattern Matching and Subtypes. 198-211 - David B. MacQueen:
An Implementation of Standard ML Modules. 212-223 - Paul Hudak, Eric Mohr:
Graphinators and the Duality of SIMD and MIMD. 224-234 - A. C. Norman:
Faster Combinator Reduction Using stock Hardware. 235-243 - Geoffrey Livingston Burn, Simon L. Peyton Jones, J. D. Robson:
The Spineless G-Machine. 244-258 - Kourosh Gharachorloo, Vivek Sarkar, John L. Hennessy:
A Simple and Efficient Implmentation Approach for Single Assignment Languages. 259-268 - William W. Pugh:
An Improved Replacement Strategy for Function Aaching. 269-276 - Norman Adams, Jonathan Rees:
Object-Oriented Programming in Scheme. 277-288 - Uday S. Reddy:
Objects as Closures: Abstract Semantics of Object-Oriented Languages. 289-297 - Christian Queinnec, Pierre Cointe:
An Open-Ended Data Representation Model for EU_LISP. 298-308 - Daniel G. Bobrow, Gregor Kiczales:
The Common Lisp Object System Metaobject Kernel: A Status Report. 309-315 - John Lamping:
A Unified System of Parameterization for Programming Languages. 316-326 - Olivier Danvy
, Karoline Malmkjær:
Intensions and Extensions in a Reflective Tower. 327-341 - Alan Bawden:
Reification without Evaluation. 342-349
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.