( en | de | ru )

 

Disambiguierung von "Abrahamsson, Oskar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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 Hasenknopf

Oskar Nuyken

Oskar Storm

Oskar Meyer

 

Weitere Publikationen von Autoren mit dem selben Namen

A verified proof checker for higher-order logic.. J. Log. Algebraic Methods Program., (2020)PureCake: A Verified Compiler for a Lazy Functional Language., , , , , , und . Proc. ACM Program. Lang., 7 (PLDI): 952-976 (2023)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)Fast, Verified Computation for Candle., und . ITP, Volume 268 von LIPIcs, Seite 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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)