Zum Inhalt springen

  3. Danvy, Olivier [HerausgeberIn]; Mairson, Harry [HerausgeberIn]; Henglein, Fritz [HerausgeberIn]; Pettorossi, Alberto [HerausgeberIn]; Paige, Robert A. [GefeierteR]; Paige, Robert [Sonstige Person, Familie und Körperschaft]

    Automatic program development : a tribute to Robert Paige

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dordrecht: Springer, 2008

  4. Danvy, Olivier [Sonstige Person, Familie und Körperschaft] ; Seminar Partial Evaluation 1996 Dagstuhl

    Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996 ; selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1996 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 111000

  5. Danvy, Olivier [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Programming Languages

    Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2012

    Erschienen in: ACM Conferences- ACM Digital Library

  6. Danvy, Olivier [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

    Proceedings of the tenth ACM SIGPLAN international conference on Functional programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2005

    Erschienen in: ACM Digital Library- ACM Conferences

  7. Danvy, Olivier [VerfasserIn] ; Filinski, Andrzej [Sonstige Person, Familie und Körperschaft]

    Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2053

  8. Danvy, Olivier [VerfasserIn] ; Glück, Robert [Sonstige Person, Familie und Körperschaft]; Thiemann, Peter [Sonstige Person, Familie und Körperschaft]

    Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

    Erschienen in: Lecture notes in computer science ; 1110

  9. Agha, Gul [VerfasserIn] ; Danvy, Olivier [HerausgeberIn]; Meseguer, José [HerausgeberIn]

    Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 7000

  10. Danvy, Olivier [VerfasserIn]; Keller, Chantal [VerfasserIn]; Puech, Matthias [VerfasserIn] ; Olivier Danvy and Chantal Keller and Matthias Puech [MitwirkendeR]

    Typeful Normalization by Evaluation

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  11. Danvy, Olivier [VerfasserIn]; Glück, Robert [VerfasserIn]; Thiemann, Peter [VerfasserIn] ; Olivier Danvy and Robert Glück and Peter Thiemann [MitwirkendeR]

    Partial Evaluation (Dagstuhl Seminar 9607)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1996