First Page | Document Content | |
---|---|---|
Date: 2018-04-24 22:00:10Software 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 1Add to Reading ListSource URL: cakeml.orgDownload Document from Source WebsiteFile Size: 397,54 KBShare Document on Facebook |
Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effectsDocID: 1tDqD - View Document | |
How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. YorgeyDocID: 1rpNK - View Document | |
Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3DocID: 1rozw - View Document | |
Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarationsDocID: 1rio2 - View Document | |
Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/DocID: 1qLWC - View Document |