References

  1. Yves Bertot & Pierre Castéran (2004): Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. Springer Verlag, doi:10.1007/978-3-662-07964-5.
  2. Richard Bird (1998): Introduction to Functional Programming using Haskell, second edition. Prentice-Hall.
  3. R. M. Burstall (1969): Proving Properties of Programs by Structural Induction. The Computer Journal 12(1), pp. 41–48, doi:10.1093/comjnl/12.1.41.
  4. Adam Chlipala: Certified Programming with Dependent Types. Feb. 12, 2013, availabe online http://adam.chlipala.net/cpdt/.
  5. Guy Couineau & Michel Mauny (1995): The Functional Approach to Programming. Cambridge University Press.
  6. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt & Shriram Krishnamurthi (2001): How to design programs: an introduction to programming and computing. MIT Press, Cambridge, MA, USA.
  7. Jean H. Gallier (1985): Logic for computer science: foundations of automatic theorem proving. Harper & Row Publishers, Inc., New York, NY, USA.
  8. Paul Hudak (2000): The Haskell School of Expression: Learning Functional Programming theough Multimedia. Cambridge University Press.
  9. Graham Hutton (2007): Programming in Haskell. Cambridge University Press, doi:10.1017/CBO9780511813672.
  10. Miran Lipovaca (2011): Learn You a Haskell for Great Good: A Beginner's Guide. No Starch Press.
  11. John Mitchell (1996): Foundations for Programming Langauges. MIT Press.
  12. Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002): Isabelle/HOL — A Proof Assistant for Higher-Order Logic. LNCS 2283. Springer.
  13. Lawrence C Paulson (1990): Logic and computation: interactive proof with Cambridge LCF. Cambridge University Press.
  14. Benjamin Pierce (2002): Types and Programming Langauges. MIT Press.
  15. Chris Reade (1989): Elements of Functional Programming. Addison Wesley.
  16. et. al. Simon Peyton Jones (2003): The Haskell 98 Language and Libraries: The Revised Report. Journal of Functional Programming 13(1), pp. 1–255.
  17. Simon Thompson (1999): Haskell: The Craft of Functional Programming, second edition. Addison Wesley.
  18. Glynn Winskel (1993): The Formal Semantics of Programming Langauges: An Introduction. MIT Press.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org