Search results for "LISP"

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