Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Stavros S. Cosmadakis |
Complete Proof Systems for Algebraic Simply-Typed Terms. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Julia L. Lawall, Olivier Danvy |
Continuation-Based Partial Evaluation. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | A. J. Kfoury, J. B. Wells |
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
33 | Satish R. Thatte |
Semantics of Type Classes Revisited. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Haskell |
33 | Nevin Heintze |
Set-Based Analysis of ML Programs. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
33 | James W. O'Toole Jr., Scott Nettles |
Concurrent Replicating Garbage Collection. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
33 | Edoardo Biagioni, Robert Harper 0001, Peter Lee 0001, Brian Milnes |
Signatures for a Network Protocol Stack: A Systems Application of Standard ML. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
TCP/IP, Standard ML |
33 | Shail Aditya, Christine H. Flood, James E. Hicks |
Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Christian Queinnec |
Locality, Causality and Continuations. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Dan C. Stefanescu, Yuli Zhou |
An Equational Framework for the Flow Analysis of Higher Order Functional Programs. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Zhong Shao, John H. Reppy, Andrew W. Appel |
Unrolling Lists. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Pascal Fradet |
Collecting More Garbage. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Zhong Shao, Andrew W. Appel |
Space-Efficient Closure Representations. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Standard ML |
33 | Lorenz Huelsbergen, James R. Larus, Alexander Aiken |
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Standard ML |
33 | Jeffrey Dean, Craig Chambers |
Towards Better Inlining Decisions Using Inlining Trials. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Self |
33 | Brian Reistad, David K. Gifford |
Static Dependent Costs for Estimating Execution Time. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Sandip K. Biswas |
In-Place Updates in the Presence of Control Operators. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Henry G. Baker |
Critique of DIN Kernel Lisp Definition Version 1.2. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
33 | María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider |
An Approach to the DIN Kernel Lisp Definition. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
33 | Henry G. Baker |
A Decision Procedure for Common Lisp's SUBTYPEP Predicate. |
LISP Symb. Comput. |
1992 |
DBLP BibTeX RDF |
|
33 | Jon L. White (eds.) |
Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Tyng-Ruey Chuang, Benjamin Goldberg |
A Syntactic Approach to Fixed Point Computation on Finite Domains. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Flemming Nielson, Hanne Riis Nielson |
Finiteness Conditions for Fixed Point Iteration. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Kung Chen, Paul Hudak, Martin Odersky |
Parametric Type Classes. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Didier Rémy |
Projective ML. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
ML |
33 | Daniel de Rauglaudre, Michel Mauny |
Parsers in ML. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
ML |
33 | Mitchell Wand, Dino Oliva |
Proving the Correctness of Storage Representations. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Val Tannen, Ramesh Subrahmanyam |
On Extending Computational Adequacy by Data Abstraction. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Sho-Huan Simon Tung |
Interactive Modular Programming in Scheme. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Ana Bove, Laura Arbilla |
A Confluent Calculus of Macro Expansion and Evaluation. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Wei-Ngan Chin |
Safe Fusion of Functional Expressions. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Amr Sabry, Matthias Felleisen |
Reasoning About Programs in Continuation-Passing Style. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Kaes |
Type Inference in the Presence of Overloading, Subtyping and Recursive Types. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Suresh Jagannathan, James Philbin |
A Foundation for an Efficient Multi-Threaded Scheme System. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | John R. Rose, Hans Muller |
Integrating the Scheme and C Languages. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
C, SCHEME |
33 | Benjamin Goldberg, Michael Gloger |
Polymorphic Type Reconstruction for Garbage Collection Without Tags. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
ML |
33 | Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke |
Proving Memory Management Invariants for a Language Based on Linear Logic. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Marc Neuberger, Prateek Mishra |
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Anders Bondorf |
Improving Binding Times Without Explicit CPS-Conversion. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Robert Muller, Yuli Zhou |
Abstract Interpretation in Weak Powerdomains. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Kenneth R. Traub, David E. Culler, Klaus E. Schauser |
Global Analysis for Partitioning Non-Strict Programs into Sequential Threads. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Luc Maranget |
Compiling Lazy Pattern Matching. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
ML |
33 | Olivier Danvy, Julia L. Lawall |
Back to Direct Style II: First-Class Continuations. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Lorenz Huelsbergen, James R. Larus |
Dynamic Program Parallelization. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
ML |
33 | Eric Cooper, Scott Nettles, Indira Subramanian |
Improving the Performance of SML Garbage Collection Using Application-Specific Virtual Memory Management. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
ML |
33 | Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo |
A Calculus for Overloaded Functions with Subtyping. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. C. Sekar 0001 |
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
33 | James R. Larus |
Compiling Lisp Programs for Parallel Execution. |
LISP Symb. Comput. |
1991 |
DBLP BibTeX RDF |
|
33 | |
Book Review of Common Lisp: the Reference Franz, Inc. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
33 | Benjamin G. Zorn, Paul N. Hilfinger |
Direct Function Calls in Lisp. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
33 | |
Book Review of Common Lisp: A Tutorial, by Wendy L. Milner |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
33 | John R. Diamant, Gerald P. Duggan |
A Preprocessor Based Implementation of Common Lisp. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
33 | Richard Acuff |
Endpaper: Performance of Two Common Lisp Programs on Several Systems. |
LISP Symb. Comput. |
1990 |
DBLP BibTeX RDF |
|
33 | Gilles Kahn (eds.) |
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Gopalan Nadathur, Debra Sue Wilson |
A Representation of Lambda Terms Suitable for Operations on Their Intensions. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Clifford Walinsky, Deb Banerjee |
A Functional Programming Language Compiler for Massively Parallel Computers. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | John Field, Tim Teitelbaum |
Incremental Reduction in the lambda Calculus. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Geoffrey Livingston Burn |
Using Projection Analysis of Evaluation-Order and Its Application. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Laurence Puel, Ascánder Suárez |
Compiling Pattern Matching by Term Decomposition. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Morry Katz, Daniel Weise |
Continuing into the Future: On the Interaction of Futures and First-Class Continuations. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
SCHEME, MULTILISP |
33 | Andrew P. Tolmach, Andrew W. Appel |
Debugging Standard ML Without Reverse Engineering. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Val Tannen, Carl A. Gunter, Andre Scedrov |
Computing with Coercions. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Pavel Curtis, James Rauen |
A Module System for Scheme. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Marc Feeley, James S. Miller |
A Parallel Virtual Machine for Efficient Scheme Compilation. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | M. Draghicescu, S. Purushothaman |
A Compositional Analysis of Evaluation-Order and Its Application. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Daniel Leivant |
Discrete Polymorphism. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Francois Giorgi, Daniel Le Métayer |
Continuation-Based Parallel Implementation of Functional Programming Languages. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | John Hannan, Dale Miller 0001 |
From Operational Semantics to Abstract Machines: Preliminary Results. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Carsten K. Gomard |
Partial Type Inference for Untyped Functional Programs. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Philip Wadler |
Comprehending Monads. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Danvy, Andrzej Filinski |
Abstracting Control. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Chris Hanson |
Efficient Stack Allocation for Tail-Recursive Languages. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Hanne Riis Nielson, Flemming Nielson |
Context Information for Lazy Code Generation. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Charles Consel |
Binding Time Analysis for High Order Untyped Functional Languages. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Brian T. Howard, John C. Mitchell |
Operational and Axiomatic Semantics of PCF. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Randy B. Osborne |
Speculative Computation in Multilisp. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
MULTILISP |
33 | Pierre Crégut |
An Abstract Machine for Lambda-Terms Normalization. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Luca Cardelli, Giuseppe Longo |
A Semantic Basis for Quest. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Walter G. Olthoff, James Kempf |
An Algebraic Specification of Method Combination for the Common Lisp Object System. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
33 | Linda G. DeMichiel |
Overview: The Common Lisp Object System. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
33 | |
Book Review of Object-Oriented Programming in Common LISP: A Programmer's Guide to CLOS, by Sonya E. Keene |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
33 | Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, David A. Moon |
Common Lisp Object System Specification: 2. Functions in the Programmer Interface. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
33 | Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, David A. Moon |
Common Lisp Object System Specification: 1. Programmer Interface Concepts. |
LISP Symb. Comput. |
1989 |
DBLP BibTeX RDF |
|
33 | Dario A. Giuse |
LISP as a Rapid Prototyping Environment: The Chinese Tutor. |
LISP Symb. Comput. |
1988 |
DBLP BibTeX RDF |
|
33 | Jérôme Chailloux (eds.) |
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988 |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | William D. Clinger, Anne Hartheimer, Eric Ost |
Implementation Strategies for Continuations. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Pete Tinker, Morry Katz |
Parallel Execution of Sequential Scheme with ParaTran. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Paul Hudak, Eric Mohr |
Graphinators and the Duality of SIMD and MIMD. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | John Lamping |
A Unified System of Parameterization for Programming Languages. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Alan Bawden |
Reification without Evaluation. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Gerald Roylance |
Expressing Mathematical Subroutines Constructively. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Geoffrey Livingston Burn, Simon L. Peyton Jones, J. D. Robson |
The Spineless G-Machine. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Danvy, Karoline Malmkjær |
Intensions and Extensions in a Reflective Tower. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Alan Bawden, Jonathan Rees |
Syntactic Closures. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Jean Vuillemin |
Exact Real Computer Arithmetic with Continued Fractions. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Benjamin Goldberg |
Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | William W. Pugh |
An Improved Replacement Strategy for Function Aaching. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Albert R. Meyer, Jon G. Riecke |
Continuations May be Unreasonable. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Matthias Felleisen |
lambda-V-CS: An Extended lambda-Calculus for Scheme. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
SCHEME |
33 | Fritz Henglein |
Type Inference and Semi-Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|