dblp.uni-trier.dewww.uni-trier.de

Matthias Blume Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
20EEWonseok Chae, Matthias Blume: Language support for feature-oriented product line engineering. FOSD 2009: 3-10
2008
19EEMatthias Blume, Umut A. Acar, Wonseok Chae: Exception Handlers as Extensible Cases. APLAS 2008: 273-289
18EEAmal Ahmed, Matthias Blume: Typed closure conversion preserves observational equivalence. ICFP 2008: 157-168
17EEMatthias Blume, Mike Rainey, John H. Reppy: Calling variadic functions from a strongly-typed language. ML 2008: 47-58
16EEUmut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322
15EEWonseok Chae, Matthias Blume: Building a Family of Compilers. SPLC 2008: 307-316
2007
14EEDerek Dreyer, Matthias Blume: Principal Type Schemes for Modular Programs. ESOP 2007: 441-457
13EEUmut A. Acar, Matthias Blume, Jacob Donham: A Consistent Semantics of Self-adjusting Computation. ESOP 2007: 458-474
2006
12EERobert Bruce Findler, Matthias Blume: Contracts as Pairs of Projections. FLOPS 2006: 226-241
11EEMatthias Blume, Umut A. Acar, Wonseok Chae: Extensible programming with first-class cases. ICFP 2006: 239-250
10EEUmut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan: An experimental analysis of self-adjusting computation. PLDI 2006: 96-107
9EEUmut 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)
8EEMatthias Blume, David A. McAllester: Sound and complete models of contracts. J. Funct. Program. 16(4-5): 375-414 (2006)
2004
7EEMatthias Blume, David A. McAllester: A sound (and complete) model of contracts. ICFP 2004: 189-200
2003
6EELal George, Matthias Blume: Taming the IXP network processor. PLDI 2003: 26-37
2001
5EEMatthias Blume: No-Longer-Foreign: Teaching an ML compiler to speak C "natively". Electr. Notes Theor. Comput. Sci. 59(1): (2001)
1999
4EEMatthias Blume: Dependency analysis for Standard ML. ACM Trans. Program. Lang. Syst. 21(4): 790-812 (1999)
3EEMatthias 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
1EEMatthias Blume, Sadik C. Esener: An Efficient Mapping of Fuzzy ART onto a Neural Architecture. Neural Networks 10(3): 409-411 (1997)

Coauthor Index

1Umut A. Acar [9] [10] [11] [13] [16] [19]
2Amal Ahmed (Amal J. Ahmed) [16] [18]
3Andrew W. Appel [2] [3]
4Guy E. Blelloch [9] [10]
5Wonseok Chae [11] [15] [19] [20]
6Jacob Donham [13]
7Derek Dreyer [14]
8Sadik C. Esener [1]
9Robert Bruce Findler [12]
10Lal George [6]
11Robert Harper [9]
12David A. McAllester [7] [8]
13Mike Rainey [17]
14John H. Reppy [17]
15Kanat Tangwongsan [9] [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)