Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

5. General Features of Functional Languages

Author: Maribel Fernández

Publisher: Springer London

Published in: Programming Languages and Operational Semantics

» Get access to the full version

Abstract

The imperative programming languages we discussed in the previous part all share a common design idea: to make easier and more efficient use of Von Neumann computers, basically by providing

Please log in to get access to this content

To get access to this content you need the following product:

Computer Science Explorer

Purchase now

In fact, it has a more general type in Haskell, since it can accept inputs from any numerical type: \(\mathtt{(+) {:\,:} Num a => a -> a -> a }\); we discuss this point in Sect. 5.5.

filter is a predefined function on lists in most modern functional languages.

G. Sussman, G. Steele, Scheme: an interpreter for extended lambda calculus. MIT AI Memo 349 (1975)

R. Milner, A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17 (1978)

G. Cousineau, M. Mauny, The Functional Approach to Programming (Cambridge University Press, 1998)

R. Bird, Introduction to Functional Programming Using Haskell (Prentice-Hall, 1998)

S. Thompson, The Craft of Functional Programming (Addison-Wesley, 1999)

C. Hankin, An Introduction to Lambda Calculi for Computer Scientists, volume 2 of Texts in Computing (King’s College Publications, 2004)

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

L.M.M. Damas, R. Milner, Principal type schemes for functional programs, in Conference Record of the Ninth Annual ACM Symposium on the Principles of Programming Languages (1982), pp. 207–212

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

10.

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

11.

S.L.P. Jones, The Implementation of Functional Programming Languages (Prentice-Hall, 1987)

12.

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

Title

General Features of Functional Languages

Book

Programming Languages and Operational Semantics

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

Electronic ISBN: 978-1-4471-6368-8

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

DOI

https://doi.org/10.1007/978-1-4471-6368-8_5

Author:

Maribel Fernández

Publisher

Springer London

Sequence number

Chapter number

Chapter 5