( en | de | ru )

 

Disambiguierung von "Abrahamsson, Oskar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fast, Verified Computation for Candle.

, und . ITP, Volume 268 von LIPIcs, Seite 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Magnus Oskarsson

Oskar Klinge

Oskar Burghardt

Oskar Hartwieg

Oskar Essenwanger

 

Weitere Publikationen von Autoren mit dem selben Namen

PureCake: A Verified Compiler for a Lazy Functional Language., , , , , , und . Proc. ACM Program. Lang., 7 (PLDI): 952-976 (2023)A verified proof checker for higher-order logic.. J. Log. Algebraic Methods Program., (2020)Candle: A Verified Implementation of HOL Light., , , und . ITP, Volume 237 von LIPIcs, Seite 3:1-3:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Proof-Producing Synthesis of CakeML from Monadic HOL Functions., , , , , , und . J. Autom. Reason., 64 (7): 1287-1306 (2020)Fast, Verified Computation for Candle., und . ITP, Volume 268 von LIPIcs, Seite 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Cakes That Bake Cakes: Dynamic Computation in CakeML., , , , , , und . Proc. ACM Program. Lang., 7 (PLDI): 1121-1144 (2023)Verified compilation on a verified processor., , , , , , und . PLDI, Seite 1041-1053. ACM, (2019)Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions., , , , , und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 646-662. Springer, (2018)Automatically Introducing Tail Recursion in CakeML., und . TFP, Volume 10788 von Lecture Notes in Computer Science, Seite 118-134. Springer, (2017)