Verifying Haskell programs using constructive type theory (2005)

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

Active Bibliography

379 The design and implementation of hierarchical software systems with reusable components – Don Batory - 1992
339 Theorems for free! – Philip Wadler - 1989
267 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
239 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
230 Report on the programming language Haskell: a non-strict, purely functional language. Version 1.2 – Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Maŕıa M Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, John Peterson - 1992
200 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
183 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
183 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995