Search results for "Lisp"

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