Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

CORR
2010
Springer

favoriteEmaildiscussreport

56views Education» more CORR 2010»

A Monadic Formalization of ML5

13 years 4 months ago

A Monadic Formalization of ML5

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

Real-time Traffic

CORR 2010 | Education |

claim paper

Related Content

» The proof monad

» Generic Exception Handling and the Java Monad

» Monads for Functional Programming

» Interactive learning of node selecting tree transducer

» Syntactic Detection and Correction of Misrecognitions in Mathematical OCR

» A monadic interpretation of execution levels and exceptions for AOP

» Merging Monads and Folds for Functional Programming

» Product Operations in Strong Monads

» Polyadic Quantification via Denoting Concepts

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Daniel R. Licata, Robert Harper

Comments (0)