Suchergebnisse - Functional programming and lambda calculus

The calculus of dependent lambda eliminations von STUMP, AARON

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

A correct-by-construction conversion from lambda calculus to combinatory logic von 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 …”
Volltext

Counting and generating terms in the binary lambda calculus von 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 …”
Volltext

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

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

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

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

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

Volltext

Lambda Calculus with Types von 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 …”
Volltext

Supervised data extraction from transformer representation of Lambda-terms von 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 …”
Volltext

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

Volltext

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

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

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming von 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 …”
Volltext

What is a categorical model of the differential and the resource λ-calculi? von 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 …”
Volltext

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

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

A concurrent lambda calculus with futures von 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 …”
Volltext

The call-by-need lambda calculus von 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 …”
Volltext

Functional runtime systems within the lambda-sigma calculus von 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 …”
Volltext

Lambda calculus as a workflow model von 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 …”
Volltext

The call-by-need lambda calculus von 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 …”
Volltext

Call-by-Value Lambda Calculus as a Model of Computation in Coq von 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 …”
Volltext

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

Volltext