Results 201 to 210 of about 13,265 (227)
Some of the next articles are maybe not open access.
An Introduction to Lambda Calculus and Functional Programming
2013 2nd Workshop-School on Theoretical Computer Science, 2013Lambda 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.
exaly +2 more sources
Good introduction to functional programming and lambda calculus
Information and Software Technology, 1989D Ince
exaly +2 more sources
A modification of the λ-calculus as a base for functional programming languages
1982Church's λ-calculus is modified by introducing a new mechanism, the lambda-bar operator “#”, which neutralizes the effect of one preceeding λ-binding. This operator can be used in such a way that renaming of bound variables in any reduction sequence can be avoided, with the effect that efficient interpreters with comparatively simple machine ...
Klaus J. Berkling, Elfriede Fehr
openaire +1 more source
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
2023Lennart Augustsson +2 more
exaly
Semantics of a Relational $$\lambda $$-Calculus
Lecture Notes in Computer Science, 2020Pablo Barenbaum
exaly
Lambda-calculus, combinators, and functional programming
Choice Reviews Online, 1989openaire +1 more source
A lambda-calculus foundation for universal probabilistic programming
ACM SIGPLAN Notices, 2016Johannes Borgström +2 more
exaly
The lambda-context calculus (extended version)
Information and Computation, 2009Murdoch J Gabbay
exaly