Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-23T05:03:22.310Z Has data issue: false hasContentIssue false

Functional Pearl Deduction for functional programmers

Published online by Cambridge University Press:  07 November 2008

J. J Leifer*
Affiliation:
Cambridge University Computing Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK
B. A Sufrin
Affiliation:
Oxford University Programming Research Group, Wolfson Building, Parks Road, Oxford OX1 3QD, UK
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Articles
Copyright
Copyright © Cambridge University Press 1996

References

Ben-Ari, M. (1993) Mathematical Logic for Computer Science. Prentice Hall.Google Scholar
Gordon, M. J. C., Milner, A. J. R. G. and Wadsworth, C. P. (1979) Edinburgh LCF: Lecture Notes in Computer Science 78. Springer-Verlag.CrossRefGoogle Scholar
Hamilton, A. G. (1993) Logic for Mathematicians. Cambridge University Press.Google Scholar
Jones, M. P. (1991) An Introduction to Gofer. Available, with compiler source code, via anonymous ftp from nebula. cs. yale. edu.Google Scholar
Leifer, J. (1995) Formal Logic via Function Programming. Available via anonymous ftp from ftp.comlab.ox.ac.uk in pub/Packages/JAPE/LogicViaFP/.Google Scholar
Paulson, L. C. (1994) Introduction to Isabelle. Computer Laboratory, Cambridge University.CrossRefGoogle Scholar
Submit a response

Discussions

No Discussions have been published for this article.