View Document Preview and Link Document Date: 2013-07-26 13:01:51 Open Document File Size: 319,00 KB Share Result on Facebook
City Boston / / Company Section 7 / / Country United States / / Currency USD / / / Facility Dependently Typed Haskell Programming Sam Lindley Conor McBride University of Strathclyde Sam.Lindley@ed.ac.uk University / Glasgow Haskell headquarters / / IndustryTerm normalization algorithm / implicit product / proof search / venerable program extraction algorithm / / Organization University of Strathclyde / International Criminal Court / Dependently Typed Haskell Programming Sam Lindley Conor McBride University / / Person Nat / Adam Gundry / Simon Peyton Jones / Richard Eisenberg / Stephanie Weirich / Pedro Magalh˜aes / Sam Lindley Conor / / Position author / singleton representative / editor / representative / screen editor / text editor / / Product Haskell / / ProgrammingLanguage Haskell / Standard ML / / Technology venerable program extraction algorithm / normalization algorithm / ado / / URL http / SocialTag 
Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride