Jump to Content
Matthias Blume

Matthias Blume

Research Areas

Authored Publications
results

Publications

Years

Research Areas

Teams

Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    An Equivalence-Preserving CPS Translation via Multi-Language Semantics
    Amal Ahmed
    Matthias Blume
    Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) (to appear)
    Preview
    Functional and Logic Programming
    Matthias Blume
    Naoki Kobayashi
    Germán Vidal
    Springer, LNCS(2010)
    Preview abstract Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings View details
    Search on Google Scholar