Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
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

  • 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