CakeML_Codegen

MaRDI QIDQ51730swMATHFDO

Authors Lars Hupel

Publication date 8 July 2019

Official website https://www.isa-afp.org/entries/CakeML_Codegen.html

Cited in

(3)

• A verified compiler from Isabelle/HOL to CakeML
• Haskell Show Class
• Nominal2

This page was built for software: CakeML_Codegen