Back to Results
First PageMeta Content
Software engineering / Computer programming / Programming language theory / Type theory / Type systems / Functional languages / Programming paradigms / Procedural programming languages / Type inference / HindleyMilner type system / Monad / Functional programming


Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton
Add to Reading List

Document Date: 2015-02-28 14:55:06

Open Document

File Size: 435,41 KB

Share Result on Facebook