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

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!