Back to Results
First PageMeta Content
Mathematics / Computer programming / Type theory / Monad / Admissible rule / Type class / Valuation / Denotational semantics / Adjoint functors / Functional programming / Software engineering


Lightweight Monadic Programming in ML Nikhil Swamy⋆ ⋆ Nataliya Guts†
Add to Reading List

Document Date: 2011-06-30 10:53:02

Open Document

File Size: 231,35 KB

Share Result on Facebook
UPDATE