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

IndustryTerm

software engineering principles / verified software / verified software developments / /

Person

Don Stewart / /

Position

proof assistant / tiling window manager / /

ProgrammingLanguage

Haskell / /

SocialTag