( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fast, Verified Computation for Candle.

, и . ITP, том 268 из LIPIcs, стр. 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Magnus Oskarsson

Oskar Gundermann

Oskar Neitzke

Oskar Orth

Oskar Löbl

 

Другие публикации лиц с тем же именем

PureCake: A Verified Compiler for a Lazy Functional Language., , , , , , и . 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., , , и . ITP, том 237 из LIPIcs, стр. 3:1-3:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Proof-Producing Synthesis of CakeML from Monadic HOL Functions., , , , , , и . J. Autom. Reason., 64 (7): 1287-1306 (2020)Fast, Verified Computation for Candle., и . ITP, том 268 из LIPIcs, стр. 4:1-4:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Cakes That Bake Cakes: Dynamic Computation in CakeML., , , , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1121-1144 (2023)Verified compilation on a verified processor., , , , , , и . PLDI, стр. 1041-1053. ACM, (2019)Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions., , , , , и . IJCAR, том 10900 из Lecture Notes in Computer Science, стр. 646-662. Springer, (2018)Automatically Introducing Tail Recursion in CakeML., и . TFP, том 10788 из Lecture Notes in Computer Science, стр. 118-134. Springer, (2017)