Dictionary Construction

From MaRDI portal

Dictionary Construction (AFP entry Dict Construction)

Jump to:navigation, search

MaRDI QIDQ7361752FDO

Authors Lars Hupel

Publication date 24 May 2017

Cited in

(1)

A Verified Code Generator from Isabelle/HOL to CakeML

This page was built for software: Dictionary Construction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Dictionary_Construction_(AFP_entry_Dict_Construction)&oldid=105368813"