Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Introduction, Scheme basics (expressions, values)
Document related concepts
Hindley–Milner type system wikipedia , lookup
Falcon (programming language) wikipedia , lookup
Anonymous function wikipedia , lookup
Scala (programming language) wikipedia , lookup
Closure (computer programming) wikipedia , lookup
Standard ML wikipedia , lookup
Intuitionistic type theory wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Lambda calculus wikipedia , lookup
Combinatory logic wikipedia , lookup
Lambda lifting wikipedia , lookup
Transcript
