Skip to main content
SpringerLink
Log in
Book cover

Programming Language Concepts pp 59–79Cite as

A First-Order Functional Language

  • Chapter
  • First Online:

  • 3720 Accesses

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

Abstract

This chapter presents a functional language micro-ML , a small subset of ML or F#.

This is a preview of subscription content, 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   54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.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

Learn about institutional subscriptions

References

  1. Augustsson, L.: A compiler for Lazy ML. In: 1984 ACM Symposium on Lisp and Functional Programming, Austin, Texas, pp. 218–227. ACM (1984)

    Google Scholar 

  2. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Fourth ACM Symposium on Principles on Programming Languages, Los Angeles, California, January 1977, pp. 238–252. ACM (1977)

    Google Scholar 

  3. Ecma International: ECMAScript language specification. Standard ECMA-262, 3rd edition. Ecma International (1999). At http://www.ecma-international.org/publications/standards/Ecma-262.htm

  4. Gordon, M.J., Milner, R., Wadsworth, C.P.: Edinburgh LCF. Lecture Notes in Computer Science. Springer-Verlag, Berlin (1979)

    Book  MATH  Google Scholar 

  5. Johnsson, T.: Efficient compilation of lazy evaluation. ACM SIGPLAN 1984 Symposium on Compiler Construction SIGPLAN Notices. 19(6), 58–69 (1984)

    Google Scholar 

  6. Kahn, G.: Natural semantics. In: F. Brandenburg, G. Vidal-Naquet, M. Wirsing (eds.) STACS 87. 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany (Lecture Notes in Computer Science, vol. 247), pp. 22–39. Springer-Verlag (1987)

    Google Scholar 

  7. Kam, J.B., Ullman, J.D.: Monotone data flow analysis frameworks. Acta Inf. 7, 305–317 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  8. Leroy, X.: The Zinc experiment: An economical implementation of the ML language. Rapport Technique 117, INRIA Rocquencourt, France (1990)

    Google Scholar 

  9. McCarthy, J.: Recursive functions of symbolic expressions. Commun. ACM 3(4), 184–195 (1960)

    Article  MATH  Google Scholar 

  10. McCarthy, J., et al.: Lisp 1.5 Programmer’s Manual. MIT Press (1962)

    Google Scholar 

  11. Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. The MIT Press (1990)

    Google Scholar 

  12. Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press (1997)

    Google Scholar 

  13. Naur, P.: Checking of operand types in ALGOL compilers. BIT 5, 151–163 (1965)

    Article  Google Scholar 

  14. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, second edn. Springer (2005)

    Google Scholar 

  15. OCaml: Home page. At http://ocaml.org/

  16. Peyton-Jones, S.: Haskell 98 Language and Libraries. The Revised Report. Cambridge University Press (2003)

    Google Scholar 

  17. Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. FN-19, DAIMI, Aarhus University, Denmark (1981)

    Google Scholar 

  18. Sussman, G.J., Steele, G.L.: Scheme: an interpreter for the extended lambda calculus. MIT AI Memo 349, Massachusetts Institute of Technology (1975)

    Google Scholar 

  19. Turner, D.A.: Miranda — a non-strict functional language with polymorphic types. In: J.P. Jouannaud (ed.) Functional Programming Languages and Computer Architecture, Nancy, France, September 1985. Lecture Notes in Computer Science, vol. 201, pp. 1–16. Springer-Verlag. (1985)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IT University of Copenhagen, Computer Science Department, Copenhagen, Denmark

    Peter Sestoft

Authors
  1. Peter Sestoft
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peter Sestoft .

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Sestoft, P. (2017). A First-Order Functional Language. In: Programming Language Concepts. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-60789-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-60789-4_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-60788-7

  • Online ISBN: 978-3-319-60789-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation