The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Matthias Blume: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Bruce Findler, Matthias Blume
    Contracts as Pairs of Projections. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:226-241 [Conf]
  2. Matthias Blume, Andrew W. Appel
    Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:112-124 [Conf]
  3. Matthias Blume, Umut A. Acar, Wonseok Chae
    Extensible programming with first-class cases. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:239-250 [Conf]
  4. Matthias Blume, David A. McAllester
    A sound (and complete) model of contracts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:189-200 [Conf]
  5. Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan
    An experimental analysis of self-adjusting computation. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:96-107 [Conf]
  6. Lal George, Matthias Blume
    Taming the IXP network processor. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:26-37 [Conf]
  7. Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
    A Library for Self-Adjusting Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:127-154 [Journal]
  8. Matthias Blume, David A. McAllester
    Sound and complete models of contracts. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:375-414 [Journal]
  9. Matthias Blume, Sadik C. Esener
    An Efficient Mapping of Fuzzy ART onto a Neural Architecture. [Citation Graph (0, 0)][DBLP]
    Neural Networks, 1997, v:10, n:3, pp:409-411 [Journal]
  10. Matthias Blume
    No-Longer-Foreign: Teaching an ML compiler to speak C "natively". [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:1, pp:- [Journal]
  11. Matthias Blume
    Dependency analysis for Standard ML. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:790-812 [Journal]
  12. Matthias Blume, Andrew W. Appel
    Hierarchical modularity. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:4, pp:813-847 [Journal]
  13. Umut A. Acar, Matthias Blume, Jacob Donham
    A Consistent Semantics of Self-adjusting Computation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:458-474 [Conf]
  14. Derek Dreyer, Matthias Blume
    Principal Type Schemes for Modular Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:441-457 [Conf]

  15. Exception Handlers as Extensible Cases. [Citation Graph (, )][DBLP]


  16. Typed closure conversion preserves observational equivalence. [Citation Graph (, )][DBLP]


  17. Language support for feature-oriented product line engineering. [Citation Graph (, )][DBLP]


  18. Imperative self-adjusting computation. [Citation Graph (, )][DBLP]


  19. Building a Family of Compilers. [Citation Graph (, )][DBLP]


  20. Calling variadic functions from a strongly-typed language. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002