Skip to main content
SpringerLink
Log in

Operational Semantics of Functional Languages

  • Chapter
  • First Online:
Programming Languages and Operational Semantics

Part of the book series: Undergraduate Topics in Computer Science ((UTICS))

  • 2824 Accesses

Abstract

In this chapter, we will give a precise, formal description of the main features of functional programming languages. For this we will use the same tools that we applied in the study of the operational semantics of imperative languages in Chap. 4: transition systems.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. R. Harper, Practical Foundations for Programming Languages (Cambridge University Press, Cambridge, 2013)

    Google Scholar 

  2. G. Dowek, J.-J. Lévy, Introduction to the Theory of Programming Languages. Undergraduate topics in computer science (Springer, Berlin, 2011)

    Google Scholar 

  3. J.C. Mitchell, Concepts in Programming Languages (Cambridge University Press, Cambridge, 2003)

    Google Scholar 

  4. H.P. Barendregt, The Lambda Calculus: Its Syntax and Semantics (North-Holland, Amsterdam, 1984). Revised edition

    MATH  Google Scholar 

  5. G.D. Plotkin, LCF considered as a programming language. Theor. Comput. Sci. 5, 223–255 (1977)

    Article  MathSciNet  Google Scholar 

  6. G.D. Plotkin, Full abstraction, totality and PCF. Math. Struct. Comput. Sci. 9(1), 1–20 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  7. G. Winskel, The Formal Semantics of Programming Languages. Foundations of Computing (MIT Press, Cambridge, 1993)

    Google Scholar 

  8. B.C. Pierce, Types and Programming Languages (MIT Press, Cambridge, 2002)

    Google Scholar 

  9. P. Sestoft, Programming Language Concepts. Undergraduate topics in computer science (Springer, Berlin, 2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. King’s College London, London, UK

    Maribel Fernández

Authors
  1. Maribel Fernández
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maribel Fernández .

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag London

About this chapter

Cite this chapter

Fernández, M. (2014). Operational Semantics of Functional Languages. In: Programming Languages and Operational Semantics. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-6368-8_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-6368-8_6

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-6367-1

  • Online ISBN: 978-1-4471-6368-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation