An Introduction to Lambda Calculus and Functional Programming

Lambda calculus is a formal system built around the concepts of function definition and function application. It is a minimalistic Turing-computable system that has a great influence on the design of functional programming. This paper is a tutorial on the untyped lambda calculus and its use as an id...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2013 2nd Workshop-School on Theoretical Computer Science s. 26 - 33
Hlavní autor: Machado, Rodrigo
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.10.2013
Témata:
Calculus
Computer languages
Frequency modulation
Functional programming
Lambda Calculus
Sections
Syntactics
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Lambda calculus is a formal system built around the concepts of function definition and function application. It is a minimalistic Turing-computable system that has a great influence on the design of functional programming. This paper is a tutorial on the untyped lambda calculus and its use as an idealised programming language.
DOI:10.1109/WEIT.2013.40