Objectcurry: An object-oriented extension of the declarative multi-paradigm language curry

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2011, Issue , 2001, Pages 89-106

  Hanus, Michael ^a   Huch, Frank ^b   Niederau, Philipp ^b  

^a UNIVERSITY OF KIEL   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING; MODELING LANGUAGES;

CONCURRENT PROGRAMMING; CONCURRENT PROGRAMMING LANGUAGES; CONSERVATIVE EXTENSIONS; DISTRIBUTION FEATURES; MULTI-PARADIGM LANGUAGES; OBJECT ORIENTED; PARAMETRIC POLYMORPHISM; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84944033545     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45361-x_6     Document Type: Conference Paper

References (17)

1. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776–822, 2000.
2. L. Damas and R. Milner. Principal type-schemes for functional programs. In Proc. 9th Annual Symposium on Principles of Programming Languages, pages 207–212, 1982.
3. M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583–628, 1994.
4. M. Hanus. A unified computation model for functional and logic programming. In Proc. 24th ACM Symp. Principles of Programming Languages, pages 80–93, 1997.
5. M. Hanus. Distributed programming in a multi-paradigm declarative language. In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP’99), pages 376–395. Springer LNCS 1702, 1999.
6. M. Hanus. Curry: An Integrated Functional Logic Language, 2000. http://www.informatik.uni-kiel.de/~curry/
7. J. Hughes and J. Sparud. Haskell++: An object-oriented extension of Haskell. In Proceedings of the Workshop on Haskell, La Jolla, California, YALE Research Report DCS/RR-1075, 1995.
8. S. Janson, J. Montelius, and S. Haridi. Ports for objects in concurrent logic programs. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 211–231. MITPress, London, 1993.
9. M.P. Jones. Typing Haskell in Haskell, 1999. In Proceedings of the Workshop on Haskell, Paris, France, Technical Report UU-CS-1999-28, University of Utrecht, 1999.
10. S. Kaes. Type inference in the presence of overloading, subtyping and recursive types. In 1992 ACM Conference on Lisp and Functional Programming, pages 193–204. ACM, ACM, August 1992.
11. X. Leroy. The Objective Caml system. Technical report, 1996. http://pauillac.inria.fr/ocaml/.
12. P. Niederau. Object-oriented extension of a declarative language (in german). Master’s thesis, RWTH Aachen, 2000.
13. J. Nordlander. Rationale for O’Haskell, August 1999. http://www.cs.chalmers.se/~nordland/ohaskell/rationale.html
14. J. Nordlander. Reactive Objects and Functional Programming. PhD thesis, Chalmers G¨oteborg University, May 1999.
15. J. Peterson et al. Haskell: A non-strict, purely functional language (version 1.4). Technical report, Yale University, Yale, 1997.
16. E. Shapiro and A. Takeuchi. Object oriented programming in Concurent Prolog. New Generation Computing, 1:25–48, 1983.
17. G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, pages 324–343. Springer LNCS 1000, 1995.