-
Incremental Computing by Differential Execution
Kumar, Prashant ; Pacak, André ; Erdweg, Sebastian Thore 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Incremental Computing by Differential Execution (Artifact)
Kumar, Prashant ; Pacak, André ; Erdweg, Sebastian Thore
-
A Big Step from Finite to Infinite Computations (SCICO Journal-first)
Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan ; Zucca, Elena 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language
Rodríguez, Leonardo ; Fridlender, Daniel ; Pagano, Miguel 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik