GOFFIN: Higher-Order Functions Meet Concurrent Constraints

GOFFIN: Higher-Order Functions Meet Concurrent Constraints (1997)

Cached

Download Links

[www.cse.unsw.edu.au]

Other Repositories/Bibliography

DBLP

by Manuel M. T. Chakravarty , Yike Guo , Martin Köhler , Hendrik C. R. Lock

Citations:

12 - 2 self

BibTeX

@MISC{Chakravarty97goffin:higher-order,
    author = {Manuel M. T. Chakravarty and Yike Guo and Martin Köhler and Hendrik C. R. Lock},
    title = {GOFFIN: Higher-Order Functions Meet Concurrent Constraints},
    year = {1997}
}

Bookmark

OpenURL

Abstract

Citations

1225	The essence of functional programming - Wadler - 1992
728	A formulation of the simple theory of types - Church - 1940
410	N.Carriero, "Coordination Languages and their Significance - Gelernter - 1992
403	Concurrent Constraint Programming - Saraswat - 1993
334	Uniform proofs as a foundation for logic programming - Miller, Nadathur, et al. - 1991
317	The integration of functions into logic programming: From theory to practice - Hanus - 1994
279	An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Andrews - 1986
278	The Oz programming model - Smolka - 1995
267	The Polyadic ?-calculus: A Tutorial - Milner - 1993
265	Why functional programming matters - Hughes - 1989
258	Designing and building parallel programs - Foster - 1995
258	The family of concurrent logic programming languages - Shapiro - 1989
235	Semantic foundations of concurrent constraint programming - Saraswat, Rinard, et al. - 1991
154	Completeness in the theory of types - Henkin - 1950
140	Parallel programming using skeleton functions - Darlington, Field, et al. - 1993
102	Parallel implementations of functional programming languages - Peyton-Jones - 1989
86	Foundations of Logic Programming (Second Edition - Lloyd - 1987
82	Introduction to Parallel Programming - Chandy, Taylor - 1991
62	Functional Programming for Loosely-coupled Multiprocessors - Kelly - 1989
57	Higher-order rewrite systems and their confluence - Mayr, Nipkow - 1998
48	ID version 90.0 reference manual - Nikhil - 1990
42	Le Fun: Logic, equations, and Functions - Aït-Kaci, Lincoln, et al. - 1987
33	Combining Functional and Logic Programming Languages - Lloyd - 1994
27	editor). Comparative Study of Parallel Programming Languages: The Salishan Problems - Feo - 1993
20	The Clausal Theory of Types, Cambridge Tracts - Wolfram - 1993
16	Para-functional programming: A paradigm for programming multiprocessor systems - Hudak, Smith - 1986
13	linear concurrent constraint programming - Higher-order - 1992
10	Semantics of Programming Languages—Structures and Techniques - Gunter - 1992
9	AKL---A Multiparadigm Programming Language. Uppsala Theses in Computing Science 19 - Janson - 1994
8	Definitional Constraint Programming - Guo - 1993
7	Towards a Declarative Language for Parallel and Concurrent Programming - Breitinger, Loogen, et al. - 1995
3	Concurrency in functional and logic programming - Breitinger, Loogen, et al. - 1995
2	Higher-Order Logic as a Basis for Abstract Machines Implementing Functional Logic Languages. Forschungsgruppe Softwaretechnik, Technische Universitat - Chakravarty - 1995
2	et al. Haskell special issue - Hudak - 1992
1	Abstract semantics for a higher order functional language with logic variables - Jagadeesan, Pingali - 1992
1	Functional computation as concurrent computation. Research Report RR-95-14, Deutsches Forschungszentrum fur Kunstliche Intelligenz, Stuhlsatzenhausweg 3, D66123 - Niehren - 1995