FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
The CakeML Verified Compiler and Toolchain

Author: Magnus O. Myreen

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:The CakeML Verified Compiler and Toolchain
Authors:Magnus O. Myreen
Proceedings:PAAR papers
Editors: Boris Konev, Josef Urban and Philipp Ruemmer
Keywords:
Abstract:
Pages:1
Talk:Jul 19 09:00 (Session 130D: Welcome and Invited Talk)
Paper: