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
|