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
7061994
The integration of functions into logic programming: From theory to practice
M Hanus
The Journal of Logic Programming 19, 583-628, 1994
7061994
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5032000
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
Functional logic programming
S Antoy, M Hanus
Communications of the ACM 53 (4), 74-85, 2010
1562010
Curry: An integrated functional logic language (vers. 0.8. 2)
M Hanus
1542006
Multi-paradigm declarative languages
M Hanus
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
1502007
Curry: A truly functional logic language
M Hanus, H Kuchen, JJ Moreno-Navarro
Proc. ILPS 95 (5), 95-107, 1995
1481995
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
1362005
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
1332012
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
1222005
Compiling logic programs with equality
M Hanus
Programming Language Implementation and Logic Programming: International …, 1990
1091990
Overlapping rules and logic variables in functional logic programs
S Antoy, M Hanus
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006
1022006
Higher-order narrowing with definitional trees
M Hanus, C Prehofer
Journal of Functional Programming 9 (1), 33-75, 1999
971999
High-level server side web scripting in Curry
M Hanus
PADL 1, 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
FroCos, 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, ...
872006
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
842011
The system can't perform the operation now. Try again later.
Articles 1–20