Search results for "continuations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	soft typing, SCHEME, run-time checks
12	Chris J. M. Booth, Donald I. Bruce	Stack-Free Process-Oriented Simulation.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
12	Richard D. Ferrante, James R. Allard	Introducing a CPS Style Optimizer into an Existing Compiler.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
12	Luc Moreau 0001	The Semantics of Scheme with Future.	ICFP	1996	DBLP DOI BibTeX RDF
12	Raoul Bhoedjang, Koen Langendoen	Friendly and Efficient Message Handling.	HICSS (1)	1996	DBLP DOI BibTeX RDF
12	John C. Reynolds	Using Functor Categories to Generate Intermediate Code.	POPL	1995	DBLP DOI BibTeX RDF	ALGOL
12	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
12	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	SCHEME
12	Nevin Heintze	Set-Based Analysis of ML Programs.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
12	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
12	J. W. de Bakker, Franck van Breugel, Arie de Bruin	Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.	MFCS	1993	DBLP DOI BibTeX RDF
12	J. Gregory Morrisett, Andrew P. Tolmach	Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey.	PPoPP	1993	DBLP DOI BibTeX RDF	Standard ML
12	Henry G. Baker	CONS should not CONS its arguments, or, a lazy alloc is a smart alloc.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
12	Philip Wadler	The Essence of Functional Programming.	POPL	1992	DBLP DOI BibTeX RDF
12	Anders Bondorf	Improving Binding Times Without Explicit CPS-Conversion.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
12	Gilles Bernot, Michel Bidoit, Teodor Knapik	Towards an Adequate Notion of Observation.	ESOP	1992	DBLP DOI BibTeX RDF
12	Christian Queinnec	A Concurrent and Distributed Extension of Scheme.	PARLE	1992	DBLP DOI BibTeX RDF
12	J. W. de Bakker, Erik P. de Vink	CCS for OO and LP.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
12	Mitchell Wand	Correctness of Procedure Representations in Higher-Order Assembly Language.	MFPS	1991	DBLP DOI BibTeX RDF
12	J. W. de Bakker, Erik P. de Vink	Rendezvous with Metric Semantics.	PARLE (2)	1991	DBLP DOI BibTeX RDF
12	Alain Deutsch	On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications.	POPL	1990	DBLP DOI BibTeX RDF
12	Philip Wadler	Comprehending Monads.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
12	Gul Agha	The Structure and Semantics of Actor Languages.	REX Workshop	1990	DBLP DOI BibTeX RDF	Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures
12	Tim Nicholson, Norman Y. Foo	A Denotational Semantics for Prolog.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF	Prolog
12	Karoline Malmkjær	On Some Semantic Issues in the Reflective Tower.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
12	James S. Miller, Barbara S. Epstein	Garbage Collection in MultiScheme.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
12	Steven R. Vegdahl, Uwe F. Pleban	The Run-Time Environment for Screme, A Scheme Implementation on the 88000.	ASPLOS	1989	DBLP DOI BibTeX RDF	SCHEME
12	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF