Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Kourosh Gharachorloo, Vivek Sarkar, John L. Hennessy |
A Simple and Efficient Implmentation Approach for Single Assignment Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 259-268, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Simon Martini |
Bounded Quantifiers Have Interval Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 164-173, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Frank Pfenning |
Partial Polymorphic Type Inference and Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 153-163, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Lalita Jategaonkar, John C. Mitchell |
ML with Extended Pattern Matching and Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 198-211, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
ML |
33 | Uday S. Reddy |
Objects as Closures: Abstract Semantics of Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 289-297, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | David B. MacQueen |
An Implementation of Standard ML Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 212-223, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
ML |
33 | Gerald J. Sussman, Matthew Halfant |
Tutorial: Abstraction in Numerical Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 1-7, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | A. C. Norman |
Faster Combinator Reduction Using stock Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 235-243, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Annika Aasa, Kent Petersson, Dan Synek |
Concrete Syntax for Data Objects in Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 96-105, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISPTALK |
33 | Atsushi Ohori, Peter Buneman |
Type Inference in a Database Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 174-183, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | William L. Scherlis, John H. Williams, Richard P. Gabriel (eds.) |
Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![ACM, 0-89791-200-4 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba |
Hygienic Macro Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 151-161, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Claus-Werner Lermen, Dieter Maurer |
A Protocol for Distributed Reference Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 343-350, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Thomas F. Knight |
An Architecture for Mostly Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 105-112, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Simon J. Thompson |
Laws in Miranda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 1-12, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Alan Bawden |
Connection Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 258-265, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Hanne Riis Nielson, Flemming Nielson |
Semantics Directed Compiling for Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 249-257, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Bharat Jayaraman, Frank S. K. Silbermann |
Equations, Sets, and Reduction Semantics for Functional and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 320-331, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn |
A Simple Applicative Language: Mini-ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 13-27, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Vivek Sarkar, John L. Hennessy |
Partitioning Parallel Programs for Macro-Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 202-211, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | John D. Ramsdell |
The CURRY Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 122-131, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Mitchell Wand, Daniel P. Friedman |
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 298-307, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | David K. Gifford, John M. Lucassen |
Integrating Functional and Imperative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 28-38, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Paul Hudak |
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 351-363, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Martin Rudalics |
Distributed Copying Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 364-372, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Mark Scheevel |
NORMA: A Graph Reduction Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 212-219, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Satish R. Thatte |
Towards a Semantic Theory for Equational Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 332-342, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Chris D. Clack, Simon L. Peyton Jones |
The Four-Stroke Reduction Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 220-232, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Michel Mauny, Ascánder Suárez |
Implementing Functional Languages in the Categorical Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 266-278, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes |
Expansion-Passing Style: Beyond Conventional Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 143-150, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Jon Fairbairn, Stuart Wray |
Code Generation Techniques for Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 94-104, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | David H. Bartley, John C. Jensen |
The Implementation of PC Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 88-93, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan |
Mechanisms for Efficient Multiprocessor Combinator Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 113-121, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell |
Exact Real Arithmetic: A Case Study in Higher Order Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 162-173, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | John C. Mitchell |
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 308-319, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Adrienne G. Bloss, Paul Hudak |
Variations on Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, USA, August 4-6, 1986., pp. 132-142, 1986, ACM, 0-89791-200-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Robert S. Boyer, Edward S. Schneider, Guy L. Steele Jr. (eds.) |
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![ACM, 0-89791-142-3 The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Gert Smolka |
Making Control and Data Flow in Logic Programs Explicit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 311-322, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Pierre Cointe, Xavier Rodet |
Formes: an Object and Time Oriented System for Music Composition and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 85-95, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Emmanuel Saint-James |
Recursion is More Efficient than Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 228-234, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Robin Milner |
A Proposal for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 184-197, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Rodney A. Brooks |
Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 256-262, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | William D. Clinger |
The Scheme 311 Compiler: An Exercise in Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 356-364, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Takuya Katayama |
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 263-272, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | John S. Givler, Richard B. Kieburtz |
Schema Recognition for Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 74-84, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Françoise Bellegarde |
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 63-73, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Daniel P. Friedman, Mitchell Wand |
Reification: Reflection without Metaphysics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 348-355, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Roger B. Dannenberg |
Arctic: A Functional Language for Real-Time Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 96-103, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Yonathan Malachi, Zohar Manna, Richard J. Waldinger |
TABLOG: The Deductive-Tableau Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 323-330, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Paul Hudak, Benjamin Goldberg |
Experiments in Diffused Combinator Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 167-176, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Walter Dosch, Bernhard Möller |
Busy and Lazy FP with Infinite Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 282-292, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Luca Cardelli |
Compiling a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 208-217, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Ralph E. Griswold |
Expression Evaluation in the ICON Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 177-183, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Alberto Pettorossi |
A Powerful Strategy for Deriving Efficient Programs by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 273-281, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Continuations and Coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 293-298, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | David B. MacQueen |
Modules for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 198-207, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Philip Wadler |
Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 45-52, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Mary Sheeran |
muFP, A Language for VLSI Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 104-112, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Christopher T. Haynes, Daniel P. Friedman |
Engines Build Process Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 18-24, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Jim des Rivières, Brian Cantwell Smith |
The Implementation of Procedurally Reflective Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 331-347, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | W. R. Stoye, T. J. W. Clarke, A. C. Norman |
Some Practical Methods for Rapid Combinator Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 159-166, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Allen Goldberg, Robert Paige |
Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 53-62, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Raymond L. Bates, David Dyer, Mark Feber |
Recent Developments in ISI-Interlisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 129-139, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Lennart Augustsson |
A Compiler for Lazy ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1984 ACM Conference on LISP and Functional Programming, LFP 1984, Austin, Texas, USA, August 5-8, 1984., pp. 218-227, 1984, ACM, 0-89791-142-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | David M. R. Park, Daniel P. Friedman, David S. Wise, Guy L. Steele Jr. (eds.) |
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![ACM, 0-89791-082-6 The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Paul Hudak, Robert M. Keller |
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 168-178, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | A. Toni Cohen, Thomas J. Myers |
Toward an Algebra of Nondeterministic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 235-242, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Michael J. Wise |
A Parallel Prolog: The Construction of a Data Driven Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 56-66, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Michael P. Georgeff |
A Scheme for Implementing Functional Values on a Stack Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 188-195, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Corrado Böhm |
Combinatory Foundation of Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 29-36, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Steven S. Muchnick, Neil D. Jones |
A Fixed-Program Machine for Combinator Expression Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 11-20, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Jon L. White |
Constant Time Interpretation for Shallow-bound Variables in the Presence of Mixed SPECIAL/LOCAL Declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 196-200, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Paul R. Eggert, D. Val Schorre |
Logic Enhancement: A Metho for Extending Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 74-80, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | David B. MacQueen, Ravi Sethi |
A Semantic Model of Types for Applicative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 243-252, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Gyula Magó |
Data Sharing in an FFP Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 201-207, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin |
Experiments with a Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 47-55, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Gary Feldman |
Functional Specifications of a Text Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 37-46, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Richard Kennaway, M. Ronan Sleep |
Expressions as Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 21-28, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Simon L. Peyton Jones |
An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 150-158, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Peter Henderson 0001 |
Functional Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 179-187, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Robert Cartwright, James E. Donahue |
The Semantics of Lazy (and Industrious) Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 253-264, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | R. J. M. Hughes |
Super Combinators: A New Implementation Method for Applicative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 1-10, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Christopher D. S. Moss |
How to Define a Language Using PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 67-73, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | William D. Clinger |
Nondeterministic Call by Need is Neither Lazy Nor by Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 226-234, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Raymond L. Bates, David Dyer, Johannes A. G. M. Koomen |
Implementation of Interlisp on the VAX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 81-87, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | |
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![ACM, 978-1-4503-7396-8 The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Fred Lakin |
Computing with Text-Graphics Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 100-106, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Toshiaki Kurokawa |
The Function-Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 38-45, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Ira P. Goldstein, Daniel G. Bobrow |
Extenting Object Oriented Programming in Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 75-81, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | F. Lockwood Morris, J. Schwarz |
Computing Cyclic List Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 144-153, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Robert M. Keller |
Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 196-202, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman |
SKIM - The S, K, I Reduction Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 128-135, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Mitchell Wand |
Continuation-Based Multiprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 19-28, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Guy L. Steele Jr., Gerald J. Sussman |
The Dream of Lifetime: A Lazy Variable Extent Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 163-172, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | L. Peter Deutsch |
ByteLisp and its Alto Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 231-242, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Carl Hewitt |
The Apiary network architecture for knowledgeable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 107-118, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Erik Sandewall, Henrik Sörensen, Claes Strömberg |
A System of Communicating Residential Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 82-89, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Robert Cartwright |
A Constructive Alternative to Axiomatic Data Type Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 46-55, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Henry Lieberman, Carl Hewitt |
A Session with Tinker: Interleaving Program Testing with Program Writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 90-99, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | James H. Davenport, Richard D. Jenks |
MODLISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP Conference ![In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980., pp. 65-74, 1980, ACM, 978-1-4503-7396-8. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|