J. W. Lloyd  Home/Search
Context Related
| greyarea.is.tsukuba...JFLPA9903.ps.gz vt.edu/ejournals/JF...JFLPA9903.ps.gz cs.tuberlin.de/jou...JFLPA9903.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: greyarea.is.tsukuba.ac.j...A9903 (more) From: vt.edu/ejournals/JFLP/jf...A9903 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Escher is a general-purpose, declarative programming language that integrates the best features of both functional and logic programming languages. It has types and modules, higher-order and meta-programming facilities, concurrency, and declarative input/output. The main design aim is to combine in a practical and comprehensive way the best ideas of existing functional and logic languages, such as Haskell and Godel. In fact, Escher uses the Haskell syntax and is most straightforwardly... (Update)
Cited by: More
Linkoping Electronic Articles in - Vol Nr Linkoping (Correct)
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
Strongly Typed Evolutionary Programming - Kennedy (1999) (Correct)
Similar documents (at the sentence level):
58.5%: Programming in an Integrated Functional and Logic Language - Lloyd (1999) (Correct)
7.4%: EMA: Implementing the Rewriting Computational Model of Escher - Eder (1998) (Correct)
Active bibliography (related documents): More All
0.5: Programming with Multisets - Lloyd (1998) (Correct)
0.3: Vesper - Robinson, Barklund (1996) (Correct)
0.3: Programming with Sets and Multisets - Lloyd (1999) (Correct)
Similar documents based on text: More All
1.8: A Game-Based Architecture for Developing Interactive Components.. - Stathis (2000) (Correct)
1.8: Embedding Propagators in a Concurrent Constraint Language - Müller, Würtz (1999) (Correct)
1.7: Constraint Logic Programming over Unions of Constraint Theories - Tinelli, al. (1998) (Correct)
Related documents from co-citation: More All
18: The Integration of Functions into Logic Programming: From Theory to Practice (context) - Hanus - 1994
11: Compiling Logic Programs with Equality (context) - Hanus - 1990
10: Narrowing as the Operational Semantics of Functional Languages (context) - Reddy - 1985
BibTeX entry: (Update)
J. W. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, 1998. To appear. http://citeseer.ist.psu.edu/article/lloyd99programming.html More
@article{ lloyd99programming,
author = "John W. Lloyd",
title = "Programming in an Integrated Functional and Logic Language",
journal = "Journal of Functional and Logic Programming",
volume = "1999",
number = "3",
year = "1999",
url = "citeseer.ist.psu.edu/article/lloyd99programming.html" }
Citations (may not include all citations):419 A formulation of the simple theory of types (context) - Church - 1940
254 The integration of functions into logic programming: From th.. (context) - Hanus - 1994
166 Unification revisited (context) - Lassez, Maher et al. - 1988
151 An Introduction to Mathematical Logic and Type Theory: To Tr.. (context) - Andrews - 1986
89 Curry: An integrated functional logic language (context) - Hanus - 1999
86 Completeness in the theory of types (context) - Henkin - 1950
54 A unified computation model for functional and logic program.. (context) - Hanus - 1997
45 Declarative programming in Escher - Lloyd - 1995
31 A higher-order logic as the basis for logic programming - Nadathur - 1987
23 Combining functional and logic programming languages (context) - Lloyd - 1994
18 A non-strict purely functional language (context) - Peterson, Hammond et al. - 1999
5 Machine Intelligence Project (context) - Thom, Zobel et al. - 1988
4 Interaction and concurrency in a declarative programming lan.. - Lloyd - 1998
3 EMA: Implementing the functional logic language Escher on an.. (context) - Eder - 1999
3 Debugging for a declarative programming language (context) - Lloyd - 1999
2 Programming in sets: An exploration of Escher (context) - Wilkins - 1997
1 To appear in<F4 (context) - Nadathur, Miller et al. - 1994
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC