H ? « ‹ ← → › »

Language peer sets for Curry:
International↑
International/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Curry(ID:3691/cur001)

Hybrid functional/logic language 

alternate simple view
Country: International
Designed 1995

Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages: "residuation" and "narrowing" (you find here a survey on functional logic programming).

Curry combines in a seamless way features from functional programming (nested expressions, higher-order functions, lazy evaluation), logic programming (logical variables, partial data structures, built-in search), and concurrent programming (concurrent evaluation of expressions with synchronization on logical variables). Moreover, Curry provides additional features in comparison to the pure languages (compared to functional programming: search, computing with partial information; compared to logic programming: more efficient evaluation due to the deterministic and demand-driven evaluation of functions).

Structures:
References:
  • Hanus, M. (1995) Hanus, M. ; H. Kuchen, and J.J. Moreno-Navarro. Curry: A Truly Functional Logic Language. In Proc. ILPS'95 Workshop on Visions for the Future of Logic Programming, 1995. Citeseer Abstract
  • Hanus, Michael (1997) Hanus, Michael "A Unified Computation Model for Functional and Logic Programming" Abstract
          in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France
  • (1997) Michael Hanus A Unified Computation Model for Declarative Programming Invited talk at 1997 Joint Conference on Declarative Programming (APPIA-GULP-PRODE'97), 1997 Abstract
          in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France
  • Hanus, M; Koj, J; (2001) Hanus, M; Koj, J; "An Integrated Development Environment for Declarative Multi-Paradigm Programming" 14 Nov 2001 Abstract Online copy
          in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder