Výsledky vyhledávání - Functional programming and lambda calculus

The calculus of dependent lambda eliminations Autor STUMP, AARON

“…Modern constructive type theory is based on pure dependently typed lambda calculus, augmented with user-defined datatypes…”
Získat plný text

A correct-by-construction conversion from lambda calculus to combinatory logic Autor 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…”
Získat plný text

Lambda Calculus with Types Autor 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…”
Získat plný text

Counting and generating terms in the binary lambda calculus Autor 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…”
Získat plný text

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

“… This paper develops a calculus named λAS, a simply typed lambda calculus with algebraic simplification…”
Získat plný text

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

“… This paper is a tutorial on the untyped lambda calculus and its use as an idealised programming language…”
Získat plný text

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

Získat plný text

Supervised data extraction from transformer representation of Lambda-terms Autor 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…”
Získat plný text

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

Získat plný text

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

“…Lambda calculus is the basis of functional programming and higher order proof assistants…”
Získat plný text

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming Autor 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…”
Získat plný text

What is a categorical model of the differential and the resource λ-calculi? Autor 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…”
Získat plný text

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

“…We give transparent proofs of the PTIME-completeness of two decision problems for terms in the λ-calculus…”
Získat plný text

A concurrent lambda calculus with futures Autor 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…”
Získat plný text

The call-by-need lambda calculus Autor 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…”
Získat plný text

Functional runtime systems within the lambda-sigma calculus Autor 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…”
Získat plný text

Lambda calculus as a workflow model Autor 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…”
Získat plný text

The call-by-need lambda calculus Autor 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…”
Získat plný text

Call-by-Value Lambda Calculus as a Model of Computation in Coq Autor 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…”
Získat plný text

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

Získat plný text