Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Logic in computer science / Functional languages / Procedural programming languages / Proof assistants / Theoretical computer science / Standard ML / ML / Monad / Lambda calculus


c Cambridge University Press 2014 JFP: page 1 of 32. ⃝ 1 doi:S0956796813000282
Add to Reading List

Document Date: 2014-08-07 06:01:48

Open Document

File Size: 264,49 KB

Share Result on Facebook