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žené v:
Podrobná bibliografia
Vydané v:2013 2nd Workshop-School on Theoretical Computer Science s. 26 - 33
Hlavný autor: Machado, Rodrigo
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.10.2013
Predmet:
Calculus
Computer languages
Frequency modulation
Functional programming
Lambda Calculus
Sections
Syntactics
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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