Verifying Haskell programs using constructive type theory (2005)

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

Active Bibliography

1 GMeta: A Generic Formal Metatheory Framework for First-Order Representations ⋆ – Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
2 ATS/LF: a type system for constructing proofs as total functional programs – Hongwei Xi - 2004
Integrating Computer Algebra and Reasoning through the Type System of Aldor – Erik Poll, Simon Thompson - 2000
3 Higher-order unification, polymorphism, and subsorts (extended abstract – Tobias Nipkow - 1990
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
3 Type Structure – Tom Schrijvers, Louis-julien Guillemette, Stefan Monnier
5 Meta-theory à la carte – Benjamin Delaware, Bruno C. D. S. Oliveira, Tom Schrijvers - 2013
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
7 Automated fast-track reconfiguration of group communication systems – Christoph Kreitz - 1999
Formale Methoden der Künstlichen Intelligenz – Christoph Kreitz
Project Acronym: PEPITO Title: PEer-to-Peer Implementation and TheOry – Project Duration Months - 2005
2 Constructive membership predicates as index – James Caldwell
C Executive Summary – unknown authors
2 rigorous and experimentally-validated behavioural specification Volume 1: Overview – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough, Peter Sewell, Michael Smith, Keith Wansbrough, Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2005
Engineering with Logic: Rigorous Specification and Validation for TCP/IP and the Sockets API – Steve Bishop, Michael Norrish, Peter Sewell
2 Adapting Functional Programs to Higher-Order Logic – Scott Owens, Konrad Slind
8 The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide – Christoph Kreitz - 2002
Proof Assistants and the Dynamic Nature of Formal Theories ∗ – Robert L. Constable
36 Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets – Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough - 2005