Michael Hanus

Identifiers

• name variant Michael Hanus 0.60 · backfill

Papers (11)

1. A Monadic Implementation of Functional Logic Programs cs.PL · 2026 · author #1
2. Synthesizing Set Functions cs.PL · 2018 · author #2
3. Combining Static and Dynamic Contract Checking for Curry cs.PL · 2017 · author #1
4. CurryCheck: Checking Properties of Curry Programs cs.PL · 2016 · author #1
5. Default Rules for Curry cs.PL · 2016 · author #2
6. A Generic Analysis Server System for Functional Logic Programs cs.PL · 2013 · author #1
7. Implementing Equational Constraints in a Functional Language cs.PL · 2011 · author #2
8. Compiling ER Specifications into Declarative Programs cs.PL · 2007 · author #2
9. A Generic Analysis Environment for Curry Programs cs.PL · 2007 · author #1
10. Specialization of Functional Logic Programs Based on Needed Narrowing cs.PL · 2004 · author #2
11. An Integrated Development Environment for Declarative Multi-Paradigm Programming cs.PL · 2001 · author #1

Mentions

• 1307.4648 #1 · backfill · confidence 0.70 Michael Hanus
• 1108.5609 #2 · backfill · confidence 0.70 Michael Hanus
• 0711.0348 #2 · backfill · confidence 0.70 Michael Hanus

Frequent Coauthors

• Bernd Bra{\ss}el 2 shared papers
• Fabian Reck 2 shared papers
• Finn Teegen 2 shared papers
• Sergio Antoy 2 shared papers
• Bj\"orn Peem\"oller 1 shared papers
• German Vidal 1 shared papers
• Johannes Koj 1 shared papers
• Kai-Oliver Prott 1 shared papers
• Maria Alpuente 1 shared papers
• Marion Muller 1 shared papers
• Salvador Lucas 1 shared papers