First Page | Document Content | |
---|---|---|
Date: 2012-01-11 05:53:34Functional 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 StewartAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source WebsiteFile Size: 1,02 MBShare Document on Facebook |