Follow
Michael Hanus
Michael Hanus
Professor of Computer Science, Institute of Informatics, CAU Kiel
Verified email at informatik.uni-kiel.de - Homepage
Title
Cited by
Cited by
Year
The integration of functions into logic programming: From theory to practice
M Hanus
The Journal of Logic Programming 19, 583-628, 1994
7321994
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5302000
A unified computation model for functional and logic programming
M Hanus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
2591997
Curry An Integrated Functional Logic Languages
M Hanus
http://www. informatik. uni-kiel. de/~ curry/, 2000
2282000
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1722010
Curry: An integrated functional logic language (vers. 0.8. 2)
M Hanus
1622006
Curry: A truly functional logic language
M Hanus, H Kuchen, JJ Moreno-Navarro
Proc. ILPS 95 (5), 95-107, 1995
1581995
Multi-paradigm declarative languages
M Hanus
International Conference on Logic Programming, 45-75, 2007
1552007
Xbase: implementing domain-specific languages for Java
S Efftinge, M Eysholdt, J Köhnlein, S Zarnekow, R von Massow, ...
ACM SIGPLAN Notices 48 (3), 112-121, 2012
1522012
Operational semantics for declarative multi-paradigm languages
E Albert, M Hanus, F Huch, J Oliver, G Vidal
Journal of Symbolic Computation 40 (1), 795-829, 2005
1422005
Compiling logic programs with equality
M Hanus
International Workshop on Programming Language Implementation and Logic …, 1990
1121990
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1102006
Higher-order narrowing with definitional trees
M Hanus, C Prehofer
Journal of Functional Programming 9 (1), 33-75, 1999
1021999
Functional logic programming: From theory to Curry
M Hanus
Programming Logics: Essays in Memory of Harald Ganzinger, 123-168, 2013
1012013
High-level server side web scripting in Curry
M Hanus
International Symposium on Practical Aspects of Declarative Languages, 76-92, 2001
992001
Compiling multi-paradigm declarative programs into Prolog
S Antoy, M Hanus
International Workshop on Frontiers of Combining Systems, 171-185, 2000
972000
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
952003
KiCS2: A new compiler from Curry to Haskell
B Braßel, M Hanus, B Peemöller, F Reck
Functional and Constraint Logic Programming: 20th International Workshop …, 2011
932011
Curry: An integrated functional logic language (version 0.8. 2)
M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ...
922006
Functional logic design patterns
S Antoy, M Hanus
International Symposium on Functional and Logic Programming, 67-87, 2002
842002
The system can't perform the operation now. Try again later.
Articles 1–20