First Page | Document Content | |
---|---|---|
Date: 2013-07-26 13:01:51Functional languages Type theory Procedural programming languages Functional programming Data types Agda Standard ML Type class Map Software engineering Computing Computer programming | Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBrideAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 319,00 KBShare Document on Facebook |