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
7051994
The integration of functions into logic programming: From theory to practice
M Hanus
The Journal of Logic Programming 19, 583-628, 1994
7051994
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
4992000
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
2252000
Curry: An integrated functional logic language (vers. 0.8. 2)
M Hanus
1542006
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1492010
Multi-paradigm declarative languages
M Hanus
International Conference on Logic Programming, 45-75, 2007
1492007
Curry: A truly functional logic language
M Hanus, H Kuchen, JJ Moreno-Navarro
Proc. ILPS 95 (5), 95-107, 1995
1431995
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
1322005
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
1272012
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
1182005
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
992006
High-level server side web scripting in Curry
M Hanus
International Symposium on Practical Aspects of Declarative Languages, 76-92, 2001
982001
Higher-order narrowing with definitional trees
M Hanus, C Prehofer
Journal of Functional Programming 9 (1), 33-75, 1999
981999
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. 1
M Hanus
852003
Functional logic design patterns
S Antoy, M Hanus
International Symposium on Functional and Logic Programming, 67-87, 2002
822002
The system can't perform the operation now. Try again later.
Articles 1–20