Back to Results
First PageMeta Content
Software engineering / Computer programming / Programming language theory / Functional languages / Procedural programming languages / Logic in computer science / Separation logic / Substructural logic / ColdFusion Markup Language / Functional programming / Theorem / Type theory


Verified Characteristic Formulae for CakeML Arma¨el Gu´eneau1 , Magnus O. Myreen2 , Ramana Kumar3 , and Michael Norrish4 1 2
Add to Reading List

Document Date: 2017-02-10 09:57:53

Open Document

File Size: 376,22 KB

Share Result on Facebook