Results 221 to 230 of about 750 (245)
Some of the next articles are maybe not open access.
Good introduction to functional programming and lambda calculus
Information and Software Technology, 1989exaly +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
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
A Filter Model for Concurrent $\lambda$-Calculus
SIAM Journal on Computing, 1998Mariangiola Dezani-Ciancaglini +1 more
exaly