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 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
36 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
2 Type Structure – Tom Schrijvers, Louis-julien Guillemette, Stefan Monnier
7 Automated fast-track reconfiguration of group communication systems – Christoph Kreitz - 1999
1 Adapting Functional Programs to Higher-Order Logic – Scott Owens, Konrad Slind
Formale Methoden der Künstlichen Intelligenz – Christoph Kreitz
1 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
Project Acronym: PEPITO Title: PEer-to-Peer Implementation and TheOry – Project Duration Months - 2005
2 Constructive membership predicates as index – James Caldwell
26 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
C Executive Summary – unknown authors
Contents – The Phragmén-lindelöf Theorem - 2006
MATHEMATICAL LOGIC QUARTERLY – A Journal, Mathematical Logic, John L. Bell, M Lq - 2007
Composing and Controlling Search in Reasoning Theories using Mappings – Coglio Giunchiglia Meseguer, Scientifica E Tecnologica, A. Coglio, F. Giunchiglia, J. Meseguer, C. Talcott, Alessandro Coglio, Fausto Giunchiglia, Jose Meseguer, Carolyn L. Talcott - 1998
Evaluation of Previous Work – The Fracas Consortium, Robin Cooper, Dick Crouch, Jan Van Eijck, Chris Fox, Josef Van Genabith, Jan Jaspars, Hans Kamp, David Milward, Manfred Pinkal, Massimo Poesio, Steve Pulman, Deliverable D - 1994
Evaluating the State of the Art – Robin Cooper, Dick Crouch, Jan van Eijck, Chris Fox, Josef Van Genabith, Jan Jaspars, Hans Kamp, Manfred Pinkal, Massimo Poesio, Steve Pulman - 1995