Michael Hanus
Has participated in:
-
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