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
7271994
The integration of functions into logic programming: From theory to practice
M Hanus
The Journal of Logic Programming 19, 583-628, 1994
7271994
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5142000
A unified computation model for functional and logic programming
M Hanus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
2571997
Curry An Integrated Functional Logic Languages
M Hanus
http://www. informatik. uni-kiel. de/~ curry/, 2000
2242000
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1632010
Curry: An integrated functional logic language (vers. 0.8. 2)
M Hanus
1562006
Curry: A truly functional logic language
M Hanus, H Kuchen, JJ Moreno-Navarro
Proc. ILPS 95 (5), 95-107, 1995
1551995
Multi-paradigm declarative languages
M Hanus
International Conference on Logic Programming, 45-75, 2007
1532007
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
1442012
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
1382005
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
1242005
Compiling logic programs with equality
M Hanus
International Workshop on Programming Language Implementation and Logic …, 1990
1101990
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
International Conference on Logic Programming, 87-101, 2006
1052006
Higher-order narrowing with definitional trees
M Hanus, C Prehofer
Journal of Functional Programming 9 (1), 33-75, 1999
981999
High-level server side web scripting in Curry
M Hanus
International Symposium on Practical Aspects of Declarative Languages, 76-92, 2001
952001
Pakcs: The portland aachen kiel curry system
M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, ...
932003
Compiling multi-paradigm declarative programs into Prolog
S Antoy, M Hanus
International Workshop on Frontiers of Combining Systems, 171-185, 2000
922000
Curry: An integrated functional logic language (version 0.8. 2)
M Hanus, S Antoy, H Kuchen, F López-Fraguas, W Lux, JM Navarro, ...
902006
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
862011
The system can't perform the operation now. Try again later.
Articles 1–20