Back to Results
First PageMeta Content
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


A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University
Add to Reading List

Document Date: 2001-06-27 15:19:02

Open Document

File Size: 420,00 KB

Share Result on Facebook