Treffer 1 - 20 von 385 für Suche 'DANVY, Olivier', Suchdauer: 1,18s Treffer weiter einschränken
  1. 1
    Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

    Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings von Danvy, Olivier, Filinski, Andrzej


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Tortoise and the Hare Algorithm for Finite Lists, Compositionally

    The Tortoise and the Hare Algorithm for Finite Lists, Compositionally von Danvy, Olivier


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Folding left and right matters: Direct style, accumulators, and continuations

    Folding left and right matters: Direct style, accumulators, and continuations von DANVY, OLIVIER


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM

    Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM von DANVY, OLIVIER


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Summa Summarum: Moessner's Theorem without Dynamic Programming

    Summa Summarum: Moessner's Theorem without Dynamic Programming von Danvy, Olivier


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant

    Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant von DANVY, OLIVIER


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

    A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations von Biernacki, Dariusz, Danvy, Olivier, Millikin, Kevin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Folding left and right over Peano numbers

    Folding left and right over Peano numbers von DANVY, OLIVIER


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A concrete framework for environment machines

    A concrete framework for environment machines von Biernacka, Małgorzata, Danvy, Olivier


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A Rational Deconstruction of Landin's SECD Machine with the J Operator

    A Rational Deconstruction of Landin's SECD Machine with the J Operator von Danvy, Olivier, Millikin, Kevin


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Functional unparsing

    Functional unparsing von DANVY, OLIVIER


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

    Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday von Agha, Gul, Danvy, Olivier, Meseguer, Jose


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Refunctionalization at work

    Refunctionalization at work von Danvy, Olivier, Millikin, Kevin

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration

    A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration von Chiarabini, Luca, Danvy, Olivier

    Veröffentlicht in Journal of Formalized Reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An Operational Foundation for Delimited Continuations in the CPS Hierarchy

    An Operational Foundation for Delimited Continuations in the CPS Hierarchy von Biernacka, Malgorzata, Biernacki, Dariusz, Danvy, Olivier


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Summa Summarum: Moessner's Theorem without Dynamic Programming

    Summa Summarum: Moessner's Theorem without Dynamic Programming von Danvy, Olivier

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Inter-deriving semantic artifacts for object-oriented programming

    Inter-deriving semantic artifacts for object-oriented programming von Danvy, Olivier, Johannsen, Jacob


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Proceedings of the Workshop on Continuations: Preface

    Proceedings of the Workshop on Continuations: Preface von Danvy, Olivier, de'Liguoro, Ugo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A Modular Structural Operational Semantics for Delimited Continuations

    A Modular Structural Operational Semantics for Delimited Continuations von Sculthorpe, Neil, Torrini, Paolo, Mosses, Peter D


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A Rational Deconstruction of Landin’s SECD Machine

    A Rational Deconstruction of Landin’s SECD Machine von Danvy, Olivier


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: