Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Blume, Matthias - Google Research
A Sound (and Complete) Model of Contracts Matthias Blume
Principal Type Schemes for Modular Programs Derek Dreyer and Matthias Blume
Calling Variadic Functions from a Strongly-typed Language Matthias Blume
Refining Hygienic Macros for Modules and Separate Compilation Matthias Blume
No-Longer-Foreign: Teaching an ML compiler to speak C "natively" Matthias Blume
The SML/NJ Compilation and Library Manager (for SML/NJ version 110.40 and later)
An Experimental Analysis of Self-Adjusting Computation Umut A. Acar
ML 2005 Preliminary Version A Library for Self-Adjusting Computation
Under consideration for publication in J. Functional Programming 1 Sound and Complete Models of Contracts
Separate Compilation for Scheme Matthias Blume
HIERARCHICAL MODULARITY AND INTERMODULE OPTIMIZATION
Hierarchical Modularity MATTHIAS BLUME
Equivalence-Preserving Compilation Amal Ahmed Matthias Blume
An Experimental Analysis of Self-Adjusting Computation
Exception Handlers as Extensible Cases Matthias Blume Umut A. Acar Wonseok Chae
Imperative Self-Adjusting Computation Umut A. Acar Amal Ahmed Matthias Blume
Extensible Programming with First-Class Cases Matthias Blume Umut A. Acar Wonseok Chae
Taming the IXP Network Processor Network Speed Technologies, Inc
Electronic Notes in Theoretical Computer Science 59 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume59.html 16 pages
Lambda-Splitting: AHigher-Order Approach to Cross-hloduleO ptimizations Matthias Blume Andrew W. Appel
HIERARCHICAL MODULARITY AND INTERMODULE OPTIMIZATION
Compiling with Non-deterministic Choice for Expressing Pending Optimization Decisions
Dependency Analysis for Standard ML MATTHIAS BLUME
