Search Results - Functional programming and lambda calculus

The calculus of dependent lambda eliminations by STUMP, AARON

“…Modern constructive type theory is based on pure dependently typed lambda calculus, augmented with user-defined datatypes…”
Get full text

A correct-by-construction conversion from lambda calculus to combinatory logic by SWIERSTRA, WOUTER

“…This pearl defines a translation from well-typed lambda terms to combinatory logic, where both the preservation of types and the correctness of the translation…”
Get full text

Counting and generating terms in the binary lambda calculus by GRYGIEL, KATARZYNA, LESCANNE, PIERRE

“…In a paper, entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences…”
Get full text

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study by MORIHATA, AKIMASA

“… This paper develops a calculus named λAS, a simply typed lambda calculus with algebraic simplification…”
Get full text

An Introduction to Lambda Calculus and Functional Programming by Machado, Rodrigo

“… This paper is a tutorial on the untyped lambda calculus and its use as an idealised programming language…”
Get full text

Supervised data extraction from transformer representation of Lambda-terms by Deineha, Oleksandr

“…The object of this research is the process of compiler optimization, as it is essential in modern software development, particularly in functional programming languages like Lambda Calculus…”
Get full text

Counting and generating lambda terms by GRYGIEL, KATARZYNA, LESCANNE, PIERRE

“…Lambda calculus is the basis of functional programming and higher order proof assistants…”
Get full text

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study by AKIMASA MORIHATA

Get full text

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming by Flach, João, Lamb, Luis C

“…Over the last decades, deep neural networks based-models became the dominant paradigm in machine learning. Further, the use of artificial neural networks in…”
Get full text

What is a categorical model of the differential and the resource λ-calculi? by MANZONETTO, GIULIO

“…The differential λ-calculus is a paradigmatic functional programming language endowed with a syntactical differentiation operator that allows the application of a program to an argument in a linear way…”
Get full text

Lambda Calculus with Types by Barendregt, Henk, Dekkers, Wil, Statman, Richard

“… The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984…”
Get full text

FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness by MAIRSON, HARRY G.

“…We give transparent proofs of the PTIME-completeness of two decision problems for terms in the λ-calculus…”
Get full text

Type Inference for Bimorphic Recursion by Makoto Tatsuta, DAMIANI, Ferruccio

Get full text

A concurrent lambda calculus with futures by Niehren, J., Schwinghammer, J., Smolka, G.

“…We introduce a new lambda calculus with futures, λ ( fut ) , that models the operational semantics of concurrent statically typed functional programming…”
Get full text

The call-by-need lambda calculus by ARIOLA, ZENA M., FELLEISEN, MATTHIAS

“…Plotkin (1975) showed that the lambda calculus is a good model of the evaluation process for call-by-name functional programs…”
Get full text

Functional runtime systems within the lambda-sigma calculus by HARDIN, THÉRÈSE, MARANGET, LUC, PAGANO, BRUNO

“…w could be the archetypal output language of functional compilers, just as the λ-calculus is their universal input language. Furthermore, λσ[uArr…”
Get full text

Lambda calculus as a workflow model by Kelly, Peter M., Coddington, Paul D., Wendelborn, Andrew L.

“… We discuss how these can be modeled using lambda calculus, and how ideas from functional programming are applicable in the design of workflows…”
Get full text

The call-by-need lambda calculus by MARAIST, JOHN, ODERSKY, MARTIN, WADLER, PHILIP

“…We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction…”
Get full text

Call-by-Value Lambda Calculus as a Model of Computation in Coq by Forster, Yannick, Smolka, Gert

“…We formalise a (weak) call-by-value λ -calculus we call L in the constructive type theory of Coq and study it as a minimal functional programming language and as a model of computation…”
Get full text

Review: Lambda-Calculus and Combinators: An Introduction by GAMMIE, PETER, Hindley; Seldin, J R ; J P

Get full text