| 2008 |
|---|
| 10 | EE | Matthias Neubauer,
Peter Thiemann:
Placement Inference for a Client-Server Calculus.
ICALP (2) 2008: 75-86 |
| 9 | EE | Peter Thiemann,
Matthias Neubauer:
Macros for context-free grammars.
PPDP 2008: 120-130 |
| 2005 |
|---|
| 8 | EE | Matthias Neubauer,
Peter Thiemann:
From sequential programs to multi-tier applications by program transformation.
POPL 2005: 221-232 |
| 2004 |
|---|
| 7 | EE | Matthias Neubauer,
Peter Thiemann:
Protocol Specialization.
APLAS 2004: 246-261 |
| 6 | EE | Matthias Neubauer,
Peter Thiemann:
An Implementation of Session Types.
PADL 2004: 56-70 |
| 5 | EE | Peter Thiemann,
Matthias Neubauer:
Parameterized LR Parsing.
Electr. Notes Theor. Comput. Sci. 110: 115-132 (2004) |
| 2003 |
|---|
| 4 | EE | Matthias Neubauer,
Peter Thiemann:
Discriminative sum types locate the source of type errors.
ICFP 2003: 15-26 |
| 2002 |
|---|
| 3 | EE | Matthias Neubauer,
Peter Thiemann:
Type classes with more higher-order polymorphism.
ICFP 2002: 179-190 |
| 2 | EE | Matthias Neubauer,
Peter Thiemann,
Martin Gasbichler,
Michael Sperber:
Functional logic overloading.
POPL 2002: 233-244 |
| 2001 |
|---|
| 1 | | Matthias Neubauer,
Michael Sperber:
Down with Emacs Lisp: Dynamic Scope Analysis.
ICFP 2001: 38-49 |
