Treffer 1 - 20 von 312 für Suche 'BLUME, Matthias', Suchdauer: 0,99s Treffer weiter einschränken
  1. 1
    Sound and complete models of contracts

    Sound and complete models of contracts von BLUME, MATTHIAS, McALLESTER, DAVID


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A consistent semantics of self-adjusting computation

    A consistent semantics of self-adjusting computation von ACAR, UMUT A., BLUME, MATTHIAS, DONHAM, JACOB


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

    Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings von Blume, Matthias, Kobayashi, Naoki, Vidal-Oriola, Germán

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    PII: S0304-3975(12)00162-4

    PII: S0304-3975(12)00162-4 von Blume, Matthias, Vidal, Germán

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Preface

    Preface von Blume, Matthias, Vidal, Germán

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Code generation via higher-order rewrite systems

    Code generation via higher-order rewrite systems von Haftmann, Florian, Nipkow, Tobias

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Standardization and böhm trees for Λµ-calculus

    Standardization and böhm trees for Λµ-calculus von Saurin, Alexis

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automatic parallelization of recursive functions using quantifier elimination

    Automatic parallelization of recursive functions using quantifier elimination von Morihata, Akimasa, Matsuzaki, Kiminori

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    An experimental analysis of self-adjusting computation

    An experimental analysis of self-adjusting computation von Acar, Umut A, Blelloch, Guy E, Blume, Matthias, Harper, Robert, Tangwongsan, Kanat


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Delimited control in OCaml, abstractly and concretely: system description

    Delimited control in OCaml, abstractly and concretely: system description von Kiselyov, Oleg

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Contracts as pairs of projections

    Contracts as pairs of projections von FINDLER, Robert Bruce, BLUME, Matthias


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    An efficient mapping of Fuzzy ART onto a neural architecture

    An efficient mapping of Fuzzy ART onto a neural architecture von BLUME, M, ESENER, S. C

    Veröffentlicht in Neural networks

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text

    Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text von Blume, Matthias, Heidari, Ghobad, Hewel, Christoph

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Automatically generating counterexamples to naive free theorems

    Automatically generating counterexamples to naive free theorems von Seidel, Daniel, Voigtländer, Janis

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An equivalence-preserving CPS translation via multi-language semantics

    An equivalence-preserving CPS translation via multi-language semantics von Ahmed, Amal, Blume, Matthias

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Towards normalization by evaluation for the βη-calculus of constructions

    Towards normalization by evaluation for the βη-calculus of constructions von Abel, Andreas

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Haskell type constraints unleashed

    Haskell type constraints unleashed von Orchard, Dominic, Schrijvers, Tom

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text

    Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text von Blume, Matthias, Heidari, Ghobad, Hewel, Christoph

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Defunctionalized interpreters for call-by-need evaluation

    Defunctionalized interpreters for call-by-need evaluation von Danvy, Olivier, Millikin, Kevin, Munk, Johan, Zerny, Ian

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Internal normalization, compilation and decompilation for system Fβη

    Internal normalization, compilation and decompilation for system Fβη von Berardi, Stefano, Tatsuta, Makoto

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: