OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]openaire.eu

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Thompson, Simon (1999)
Publisher: Springer Verlag
Languages: English
Types: Part of book or chapter of book
Subjects: QA76

Classified by OpenAIRE into

ACM Ref: ComputingMilieux_LEGALASPECTSOFCOMPUTING
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] Richard Bird and Oege de Moor. Algebra of Programming. Prentice-Hall, 1997.
    • [2] Andrew J. Gordon. Functional Programming and Input/Output. British Computer Society Distinguished Dissertations in Computer Science. Cambridge University Press, 1994.
    • [3] D. McAllester and K. Arkondas. Walther recursion. In M.A. Robbie and J.K. Slaney, editors, CADE 13. Springer-Verlag, 1996.
    • [4] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
    • [5] Bengt Nordstro¨m, Kent Petersson, and Jan M. Smith. Programming in Martin-Lo¨f 's Type Theory - An Introduction, volume 7 of International Series of Monographs on Computer Science. Oxford University Press, 1990.
    • [6] Laurence C. Paulson. Logic and Computation - Interactive proof with Cambridge LCF. Cambridge University Press, 1987.
    • [7] John Peterson and Kevin Hammond, editors. Report on the Programming Language Haskell, Version 1.4. www.haskell.org/report, 1997.
    • [8] A. M. Pitts and I. D. B. Stark. Operational reasoning for functions with local state. In A. D. Gordon and A. M. Pitts, editors, Higher Order Operational Techniques in Semantics, Publications of the Newton Institute. Cambridge University Press, 1998.
    • [9] Andrew M. Pitts. A co-induction principle for recursively defined domains. Journal of Logic and Computation, 1992.
    • [10] Erik Poll and Simon Thompson. Review of [1]. Journal of Functional Programming, to appear.
    • [11] Alastair Telford and David Turner. Ensuring streams flow. In M. Johnson, editor, Algebraic Methodology and Software Technology 1997. SpringerVerlag, 1997.
    • [12] Simon Thompson. Type Theory and Functional Programming. Addison Wesley, 1991.
    • [13] Simon Thompson. A Logic for Miranda, Revisited. Formal Aspects of Computing, 7, 1995.
    • [14] David Turner. Elementary strong functional programming. In Pieter Hartel and Rinus Plasmeijer, editors, Functional programming languages in education (FPLE), LNCS 1022. Springer-Verlag, Heidelberg, 1995.
    • [15] Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
  • No related research data.
  • No similar publications.

Share - Bookmark

Download from

Cite this article

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok