Verifying Haskell programs using constructive type theory (2005)

by Andreas Abel , Marcin Benke , Ana Bove , John Hughes , Ulf Norell
Venue:In Haskell’05
Citations:7 - 0 self

Active Bibliography

368 The design and implementation of hierarchical software systems with reusable components – Don Batory - 1992
333 Theorems for free! – Philip Wadler - 1989
262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
and Reasoning about Programs—Mechanical verification – Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
232 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
226 Report on the programming language haskell — A non-strict, purely functional language (version 1.2 – P Hudak, S P Jones, P Wadler - 1992
196 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
173 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999