| 2008 |
|---|
| 19 | EE | Matthias Blume,
Umut A. Acar,
Wonseok Chae:
Exception Handlers as Extensible Cases.
APLAS 2008: 273-289 |
| 18 | EE | Amal Ahmed,
Matthias Blume:
Typed closure conversion preserves observational equivalence.
ICFP 2008: 157-168 |
| 17 | EE | Matthias Blume,
Michael Rainey,
John H. Reppy:
Calling variadic functions from a strongly-typed language.
ML 2008: 47-58 |
| 16 | EE | Umut A. Acar,
Amal Ahmed,
Matthias Blume:
Imperative self-adjusting computation.
POPL 2008: 309-322 |
| 15 | EE | Wonseok Chae,
Matthias Blume:
Building a Family of Compilers.
SPLC 2008: 307-316 |
| 2007 |
|---|
| 14 | EE | Derek Dreyer,
Matthias Blume:
Principal Type Schemes for Modular Programs.
ESOP 2007: 441-457 |
| 13 | EE | Umut A. Acar,
Matthias Blume,
Jacob Donham:
A Consistent Semantics of Self-adjusting Computation.
ESOP 2007: 458-474 |
| 2006 |
|---|
| 12 | EE | Robert Bruce Findler,
Matthias Blume:
Contracts as Pairs of Projections.
FLOPS 2006: 226-241 |
| 11 | EE | Matthias Blume,
Umut A. Acar,
Wonseok Chae:
Extensible programming with first-class cases.
ICFP 2006: 239-250 |
| 10 | EE | Umut A. Acar,
Guy E. Blelloch,
Matthias Blume,
Kanat Tangwongsan:
An experimental analysis of self-adjusting computation.
PLDI 2006: 96-107 |
| 9 | EE | Umut A. Acar,
Guy E. Blelloch,
Matthias Blume,
Robert Harper,
Kanat Tangwongsan:
A Library for Self-Adjusting Computation.
Electr. Notes Theor. Comput. Sci. 148(2): 127-154 (2006) |
| 8 | EE | Matthias Blume,
David A. McAllester:
Sound and complete models of contracts.
J. Funct. Program. 16(4-5): 375-414 (2006) |
| 2004 |
|---|
| 7 | EE | Matthias Blume,
David A. McAllester:
A sound (and complete) model of contracts.
ICFP 2004: 189-200 |
| 2003 |
|---|
| 6 | EE | Lal George,
Matthias Blume:
Taming the IXP network processor.
PLDI 2003: 26-37 |
| 2001 |
|---|
| 5 | EE | Matthias Blume:
No-Longer-Foreign: Teaching an ML compiler to speak C "natively".
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
| 1999 |
|---|
| 4 | EE | Matthias Blume:
Dependency analysis for Standard ML.
ACM Trans. Program. Lang. Syst. 21(4): 790-812 (1999) |
| 3 | EE | Matthias Blume,
Andrew W. Appel:
Hierarchical modularity.
ACM Trans. Program. Lang. Syst. 21(4): 813-847 (1999) |
| 1997 |
|---|
| 2 | | Matthias Blume,
Andrew W. Appel:
Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.
ICFP 1997: 112-124 |
| 1 | EE | Matthias Blume,
Sadik C. Esener:
An Efficient Mapping of Fuzzy ART onto a Neural Architecture.
Neural Networks 10(3): 409-411 (1997) |
