<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Computing / Functional programming / Subroutines / Programming idioms / Theoretical computer science / Functional languages / Monad / Standard ML / Eval / Algorithm
Date: 2018-04-24 22:00:10
Software engineering
Computer programming
Computing
Functional programming
Subroutines
Programming idioms
Theoretical computer science
Functional languages
Monad
Standard ML
Eval
Algorithm

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1

Add to Reading List

Source URL: cakeml.org

Download Document from Source Website

File Size: 397,54 KB

Share Document on Facebook

Similar Documents

THE HISTORY OF STANDARD ML  IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

DocID: 1xUwQ - View Document

Sorb Star © – VOC Reproducibility  Sample preparation: 100 ml water with 10 µl standard concppm; 20µg of each component in solution; addition of 10 pcs Sorb Star© 24 hrpm stirred

Sorb Star © – VOC Reproducibility Sample preparation: 100 ml water with 10 µl standard concppm; 20µg of each component in solution; addition of 10 pcs Sorb Star© 24 hrpm stirred

DocID: 1v7gc - View Document

Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u

Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u

DocID: 1urpB - View Document

SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S   Abstract

SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S Abstract

DocID: 1uhqF - View Document

Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder

Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder

DocID: 1sCkY - View Document