Back to Results
First PageMeta Content
Lambda calculus / Combinatory logic / Logic in computer science / Computability theory / Functions and mappings / Formal methods / Monad / Derivative / Trace


Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy
Add to Reading List

Document Date: 2016-02-18 16:47:50

Open Document

File Size: 326,29 KB

Share Result on Facebook