Matthias Blume

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

Coauthor Index

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page