Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Type theory / Algorithms / Programming paradigms / Finite-state machine / Algorithm / Declarative programming / HindleyMilner type system / RANSAC / Monad


408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,
Add to Reading List

Document Date: 2015-04-24 13:47:47

Open Document

File Size: 1,97 MB

Share Result on Facebook