Back to Results
First PageMeta Content
Functional languages / Tiling window managers / Xmonad / Coq / Compcert / Haskell / Proof assistant / Functional programming / Ion / Software / System software / Computing


Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart
Add to Reading List

Document Date: 2012-01-11 05:53:34

Open Document

File Size: 1,02 MB

Share Result on Facebook
UPDATE