Michael Hanus
Works:
- Declarative Processing of Semistructured Web Data
- Improving lazy non-deterministic computations by demand analysis
- Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
- Programmiersprachen und Rechenkonzepte : 24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 2. - 4. Mai 2007