Skip to contents

  1. Rodríguez, Leonardo [Author]; Fridlender, Daniel [Author]; Pagano, Miguel [Author] ; Leonardo Rodríguez and Daniel Fridlender and Miguel Pagano [Contributor]

    A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  5. Dagnino, Francesco [Author] ; Zucca, Elena [Other]; Bono, Viviana [Other]; Dezani-Ciancaglini, Mariangiola [Other]

    Soundness conditions for big-step semantics

    Videos
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  6. Ancona, Davide [Author]; Dagnino, Francesco [Author]; Rot, Jurriaan [Author]; Zucca, Elena [Author] ; Davide Ancona and Francesco Dagnino and Jurriaan Rot and Elena Zucca [Contributor]

    A Big Step from Finite to Infinite Computations (SCICO Journal-first)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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