Skip to main content
SpringerLink
Log in

Book Review

  • Book Review
  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Augusteijn L. (1998). Sorting morphisms. In: Swierstra S., Henriques P., Oliveira J. (eds). 3rd International summer school on advanced functional programming. Vol. 1608 of LNCS, Springer-Verlag, Berlin, pp. 1–27

    Google Scholar 

  • Barwise, J., & Etchemendy, J. (1999). Language, proof, and logic. Stanford, CA, USA: Center for the Study of Language and Information.

  • Barwise, J., & Moss, L. (1996) Vicious circles: on the mathematics of non-wellfounded phenomena. Stanford, CA, USA: Center for the Study of Language and Information.

  • Claessen, K., & Hughes, J. (2000). QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the ACM sigplan international conference on functional programming (ICFP-00), Vol. 35.9 of ACM sigplan notices, pp. 268–279. NY: ACM Press.

  • Hall C., O’Donnell J. (2006) Discrete mathematics using a computer, 2nd edn. Springer-Verlag, Berlin, to appear

    Google Scholar 

  • Hudak P. The Haskell school of expression: learning functional programming through multimedia. Cambridge University Press, Cambridge

  • Kiselyov, O., Lämmel, R., & Schupke, K. (2004). Strongly typed heterogeneous collections. In: Haskell ’04: proceedings of the ACM SIGPLAN workshop on Haskell, pp. 96–107. New York: ACM Press.

  • Leijen, D., & Meijer, E. (1999) Domain specific embedded compilers. In: Proceedings of the 2nd conference on domain-Specific languages, pp. 109–122. New York: ACM Press.

  • Meijer, E., Fokkinga, M., & Paterson, R. (1991). Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In: FPCA91: Functional programming languages and computer architecture, Vol. 523 of LNCS, pp. 124–144. Berlin: Springer-Verlag.

  • Okasaki, C. (1996) Purely functional data structures. PhD thesis, Carnegie Mellon University.

  • Okasaki C. (2001). An overview of edison. In: Hutton G. (eds). Electronic notes in theoretical computer science, Vol. 41. Elsevier, Amsterdam

    Google Scholar 

  • Thompson S. (1991). Type theory and functional programming. International computer science series Addison Wesley, Reading, MA

    Google Scholar 

  • Thompson S. (1999) The craft of functional programming. 2nd edn. Addison Wesley, Reading, MA

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Microsoft Corporation, Redmond, WA, USA

    Ralf Lämmel

Authors
  1. Ralf Lämmel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ralf Lämmel.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lämmel, R. Book Review. JoLLI 16, 221–232 (2007). https://doi.org/10.1007/s10849-006-9020-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-006-9020-3

Keywords

Search

Navigation