![Software engineering / Programming language theory / Computer programming / Type theory / Procedural programming languages / Functional languages / Logic in computer science / Programming language semantics / Standard ML / Denotational semantics / Monad / Type system Software engineering / Programming language theory / Computer programming / Type theory / Procedural programming languages / Functional languages / Logic in computer science / Programming language semantics / Standard ML / Denotational semantics / Monad / Type system](https://www.pdfsearch.io/img/0773d09f06c6bf839bb02380cf460873.jpg) Date: 2001-06-27 15:19:02Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system | | A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon UniversityAdd to Reading ListSource URL: www.cs.cmu.eduDownload Document from Source Website File Size: 420,00 KBShare Document on Facebook
|