Treffer 1 - 3 von 3 für Suche 'Kanabar, Hrutvik', Suchdauer: 0,29s Treffer weiter einschränken
  1. 1
    Verified Inlining and Specialisation for PureCake

    Verified Inlining and Specialisation for PureCake von Kanabar, Hrutvik, Korban, Kacper, Myreen, Magnus


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Proof-Producing Synthesis of CakeML from Monadic HOL Functions

    Proof-Producing Synthesis of CakeML from Monadic HOL Functions von Abrahamsson, Oskar, Ho, Son, Kanabar, Hrutvik, Kumar, Ramana, Myreen, Magnus O., Norrish, Michael, Tan, Yong Kiam

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    PureCake: A Verified Compiler for a Lazy Functional Language

    PureCake: A Verified Compiler for a Lazy Functional Language von Kanabar, Hrutvik, Vivien, Samuel, Abrahamsson, Oskar, Myreen, Magnus O., Norrish, Michael, Pohjola, Johannes Åman, Zanetti, Riccardo


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: