Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
A needed narrowing strategy
- S. Antoy, R. Echahed, M. Hanus
- Computer SciencePOPL '94
- 1 February 1994
TLDR
The Integration of Functions into Logic Programming: From Theory to Practice
- M. Hanus
- Computer ScienceJ. Log. Program.
- 1 May 1994
Curry: an integrated functional logic language (version 0
- M. Hanus
- Mathematics
- 2003
ion: A[x/τ ] ` e :: τ ′ A ` \x->e :: τ → τ ′ if τ is a type expression Existential: A[x/τ ] ` e :: τ ′ A ` let x free in e :: τ ′ if τ is a type expression Figure 1: Typing rules for Curry programs…
Curry: An Integrated Functional Logic Language
- M. Hanus, S. Antoy, F. Steiner
- Mathematics
- 2003
ion: A[x/τ ] ` e :: τ ′ A ` \x->e :: τ → τ ′ if τ is a type expression Existential: A[x/τ ] ` e :: Success A ` let x free in e :: Success if τ is a type expression Conditional: A ` e1 :: Bool A ` e2…
Xbase: implementing domain-specific languages for Java
- Sven Efftinge, Moritz Eysholdt, M. Hanus
- Computer ScienceGPCE '12
- 26 September 2012
TLDR
A unified computation model for functional and logic programming
- M. Hanus
- Computer SciencePOPL '97
- 1997
TLDR
Higher-Order Narrowing with Definitional Trees
- M. Hanus, C. Prehofer
- Computer ScienceJ. Funct. Program.
- 27 July 1996
TLDR
Curry: A Truly Functional Logic Language
- M. Hanus, H. Kuchen, J. Moreno-Navarro
- Computer Science
- 1995
TLDR
Multi-paradigm Declarative Languages
- M. Hanus
- Computer ScienceICLP
- 8 September 2007
TLDR
...
1
2
3
4
5
...