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 languagealternate simple viewCountry: 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: in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France in [POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France 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 |