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. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Simon Martini |
Bounded Quantifiers Have Interval Models. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Frank Pfenning |
Partial Polymorphic Type Inference and Higher-Order Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Lalita Jategaonkar, John C. Mitchell |
ML with Extended Pattern Matching and Subtypes. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
ML |
33 | Uday S. Reddy |
Objects as Closures: Abstract Semantics of Object-Oriented Languages. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | David B. MacQueen |
An Implementation of Standard ML Modules. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
ML |
33 | Gerald J. Sussman, Matthew Halfant |
Tutorial: Abstraction in Numerical Methods. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | A. C. Norman |
Faster Combinator Reduction Using stock Hardware. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Annika Aasa, Kent Petersson, Dan Synek |
Concrete Syntax for Data Objects in Functional Languages. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
LISPTALK |
33 | Atsushi Ohori, Peter Buneman |
Type Inference in a Database Programming Language. |
LISP and Functional Programming |
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. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba |
Hygienic Macro Expansion. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Claus-Werner Lermen, Dieter Maurer |
A Protocol for Distributed Reference Counting. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Thomas F. Knight |
An Architecture for Mostly Functional Languages. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Simon J. Thompson |
Laws in Miranda. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Alan Bawden |
Connection Graphs. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Hanne Riis Nielson, Flemming Nielson |
Semantics Directed Compiling for Functional Languages. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Bharat Jayaraman, Frank S. K. Silbermann |
Equations, Sets, and Reduction Semantics for Functional and Logic Programming. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn |
A Simple Applicative Language: Mini-ML. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Vivek Sarkar, John L. Hennessy |
Partitioning Parallel Programs for Macro-Dataflow. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | John D. Ramsdell |
The CURRY Chip. |
LISP and Functional Programming |
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. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | David K. Gifford, John M. Lucassen |
Integrating Functional and Imperative Programming. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Paul Hudak |
A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Martin Rudalics |
Distributed Copying Garbage Collection. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Mark Scheevel |
NORMA: A Graph Reduction Processor. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Satish R. Thatte |
Towards a Semantic Theory for Equational Programming Languages. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Chris D. Clack, Simon L. Peyton Jones |
The Four-Stroke Reduction Engine. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Michel Mauny, Ascánder Suárez |
Implementing Functional Languages in the Categorical Abstract Machine. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes |
Expansion-Passing Style: Beyond Conventional Macros. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Jon Fairbairn, Stuart Wray |
Code Generation Techniques for Functional Languages. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | David H. Bartley, John C. Jensen |
The Implementation of PC Scheme. |
LISP and Functional Programming |
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. |
LISP and Functional Programming |
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. |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | John C. Mitchell |
A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). |
LISP and Functional Programming |
1986 |
DBLP DOI BibTeX RDF |
|
33 | Adrienne G. Bloss, Paul Hudak |
Variations on Strictness Analysis. |
LISP and Functional Programming |
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. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Gert Smolka |
Making Control and Data Flow in Logic Programs Explicit. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Pierre Cointe, Xavier Rodet |
Formes: an Object and Time Oriented System for Music Composition and Synthesis. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Emmanuel Saint-James |
Recursion is More Efficient than Iteration. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Robin Milner |
A Proposal for Standard ML. |
LISP and Functional Programming |
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. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | William D. Clinger |
The Scheme 311 Compiler: An Exercise in Denotational Semantics. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Takuya Katayama |
Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | John S. Givler, Richard B. Kieburtz |
Schema Recognition for Program Transformations. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Françoise Bellegarde |
Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Daniel P. Friedman, Mitchell Wand |
Reification: Reflection without Metaphysics. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Roger B. Dannenberg |
Arctic: A Functional Language for Real-Time Control. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Yonathan Malachi, Zohar Manna, Richard J. Waldinger |
TABLOG: The Deductive-Tableau Programming Language. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Paul Hudak, Benjamin Goldberg |
Experiments in Diffused Combinator Reduction. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Walter Dosch, Bernhard Möller |
Busy and Lazy FP with Infinite Objects. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Luca Cardelli |
Compiling a Functional Language. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Ralph E. Griswold |
Expression Evaluation in the ICON Programming Language. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Alberto Pettorossi |
A Powerful Strategy for Deriving Efficient Programs by Transformation. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Christopher T. Haynes, Daniel P. Friedman, Mitchell Wand |
Continuations and Coroutines. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | David B. MacQueen |
Modules for Standard ML. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Philip Wadler |
Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Mary Sheeran |
muFP, A Language for VLSI Design. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Christopher T. Haynes, Daniel P. Friedman |
Engines Build Process Abstractions. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Jim des Rivières, Brian Cantwell Smith |
The Implementation of Procedurally Reflective Languages. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | W. R. Stoye, T. J. W. Clarke, A. C. Norman |
Some Practical Methods for Rapid Combinator Reduction. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Allen Goldberg, Robert Paige |
Stream Processing. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Raymond L. Bates, David Dyer, Mark Feber |
Recent Developments in ISI-Interlisp. |
LISP and Functional Programming |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Lennart Augustsson |
A Compiler for Lazy ML. |
LISP and Functional Programming |
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. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Paul Hudak, Robert M. Keller |
Garbage Collection and Task Deletion in Distributed Applicative Processing Systems. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | A. Toni Cohen, Thomas J. Myers |
Toward an Algebra of Nondeterministic Programs. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Michael J. Wise |
A Parallel Prolog: The Construction of a Data Driven Model. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Michael P. Georgeff |
A Scheme for Implementing Functional Values on a Stack Machine. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Corrado Böhm |
Combinatory Foundation of Functional Programming. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Steven S. Muchnick, Neil D. Jones |
A Fixed-Program Machine for Combinator Expression Evaluation. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | 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 |
DBLP DOI BibTeX RDF |
|
33 | Paul R. Eggert, D. Val Schorre |
Logic Enhancement: A Metho for Extending Logic Programming Languages. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | David B. MacQueen, Ravi Sethi |
A Semantic Model of Types for Applicative Languages. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Gyula Magó |
Data Sharing in an FFP Machine. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Valentin F. Turchin, Robert M. Nirenberg, Dimitri V. Turchin |
Experiments with a Supercompiler. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Gary Feldman |
Functional Specifications of a Text Editor. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Richard Kennaway, M. Ronan Sleep |
Expressions as Processes. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Simon L. Peyton Jones |
An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Peter Henderson 0001 |
Functional Geometry. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Robert Cartwright, James E. Donahue |
The Semantics of Lazy (and Industrious) Evaluation. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | R. J. M. Hughes |
Super Combinators: A New Implementation Method for Applicative Languages. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Christopher D. S. Moss |
How to Define a Language Using PROLOG. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | William D. Clinger |
Nondeterministic Call by Need is Neither Lazy Nor by Name. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Raymond L. Bates, David Dyer, Johannes A. G. M. Koomen |
Implementation of Interlisp on the VAX. |
Symposium on LISP and Functional Programming |
1982 |
DBLP DOI BibTeX RDF |
|
33 | |
Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Fred Lakin |
Computing with Text-Graphics Forms. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Toshiaki Kurokawa |
The Function-Class. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Ira P. Goldstein, Daniel G. Bobrow |
Extenting Object Oriented Programming in Smalltalk. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | F. Lockwood Morris, J. Schwarz |
Computing Cyclic List Structures. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Robert M. Keller |
Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman |
SKIM - The S, K, I Reduction Machine. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Mitchell Wand |
Continuation-Based Multiprocessing. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Guy L. Steele Jr., Gerald J. Sussman |
The Dream of Lifetime: A Lazy Variable Extent Mechanism. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | L. Peter Deutsch |
ByteLisp and its Alto Implementation. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Carl Hewitt |
The Apiary network architecture for knowledgeable systems. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Erik Sandewall, Henrik Sörensen, Claes Strömberg |
A System of Communicating Residential Environments. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Robert Cartwright |
A Constructive Alternative to Axiomatic Data Type Definitions. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Henry Lieberman, Carl Hewitt |
A Session with Tinker: Interleaving Program Testing with Program Writing. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|
33 | James H. Davenport, Richard D. Jenks |
MODLISP. |
LISP Conference |
1980 |
DBLP DOI BibTeX RDF |
|