Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Functional languages / Type theory / Data types / Procedural programming languages / ATS / Object-oriented programming / ML / Polymorphism / OCaml


Combining Programming with Theorem Proving Chiyan Chen and
Add to Reading List

Document Date: 2005-11-01 11:55:41


Open Document

File Size: 225,46 KB

Share Result on Facebook