Treffer 1 - 20 von 58 für Suche 'ROSE, Kristoffer', Suchdauer: 0,88s Treffer weiter einschränken
  1. 1
    On Explicit Substitution with Names

    On Explicit Substitution with Names von Rose, Kristoffer H., Bloo, Roel, Lang, Frédéric

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Higher-order Rewriting for Executable Compiler Specifications

    Higher-order Rewriting for Executable Compiler Specifications von Rose, Kristoffer H.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Normalization by evaluation with typed abstract syntax

    Normalization by evaluation with typed abstract syntax von DANVY, OLIVIER, RHIGER, MORTEN, ROSE, KRISTOFFER H.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Commutativity Analysis for XML Updates

    Commutativity Analysis for XML Updates von GHELLI, Giorgio, ROSE, Kristoffer, SIMEON, Jérome


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A data flow language for hybrid query and programming languages

    A data flow language for hybrid query and programming languages von Rose, Kristoffer H., Villard, Lionel, Sato, Naoto


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    h: A Plank for Higher-order Attribute Contraction Schemes

    h: A Plank for Higher-order Attribute Contraction Schemes von Kop, Cynthia, Rose, Kristoffer

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Explicit cyclic substitutions

    Explicit cyclic substitutions von Rose, Kristoffer Høgsbro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    h: A Plank for Higher-order Attribute Contraction Schemes

    h: A Plank for Higher-order Attribute Contraction Schemes von Kop, Cynthia, Rose, Kristoffer

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Converting between Combinatory Reduction Systems and Big Step Semantics

    Converting between Combinatory Reduction Systems and Big Step Semantics von Gottliebsen, Hanne, Rose, Kristoffer H.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Commutativity Analysis in XML Update Languages

    Commutativity Analysis in XML Update Languages von Ghelli, Giorgio, Rose, Kristoffer, Siméon, Jérôme


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Higher-order Rewriting for Executable Compiler Specifications

    Higher-order Rewriting for Executable Compiler Specifications von Rose, Kristoffer H

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Java access protection through typing

    Java access protection through typing von Rose, Eva, Rose, Kristoffer Høgsbro

    Veröffentlicht in Concurrency and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Higher-order rewriting and partial evaluation

    Higher-order rewriting and partial evaluation von Danvy, Olivier, Rose, Kristoffer HØgsbro


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A Better Semantics for XQuery with Side-Effects

    A Better Semantics for XQuery with Side-Effects von Ghelli, Giorgio, Onose, Nicola, Rose, Kristoffer, Siméon, Jérôme


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Method and system for copy and paste technology for stylesheet editing

    Method and system for copy and paste technology for stylesheet editing von ROSE KRISTOFFER H

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Method and system for copy and paste technology for stylesheet editing

    Method and system for copy and paste technology for stylesheet editing von Rose, Kristoffer H

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Normalization by Evaluation with Typed Abstract Syntax

    Normalization by Evaluation with Typed Abstract Syntax von Danvy, Olivier, Rhiger, Morten, Rose, Kristoffer H.

    Veröffentlicht in BRICS Report Series

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Modeling sharing and recursion for weak reduction strategies using explicit substitution

    Modeling sharing and recursion for weak reduction strategies using explicit substitution von Benaissa, Zine-El-Abidine, Lescanne, Pierre, Rose, Kristoffer H.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Higher-Order Rewriting and Partial Evaluation

    Higher-Order Rewriting and Partial Evaluation von Danvy, Olivier, Rose, Kristoffer H.

    Veröffentlicht in BRICS Report Series

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Method and system for copy and paste technology for stylesheet editing

    Method and system for copy and paste technology for stylesheet editing von Rose, Kristoffer

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: