Výsledky vyhľadávania - 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ískať 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ískať 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ískať 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ískať 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ískať plný text

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

Získať 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ískať 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ískať plný text

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

Získať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať 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ískať plný text

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

Získať plný text