EasyChair Smart SlideDocs/Log in
Author: Son Ho

This page shows all presentations of this author published in EasyChair Smart Slide.

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan and Michael Norrish

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair