Results 211 to 220 of about 13,265 (227)

Lambda Calculus, Types, and Functional Programming

2010
openaire   +1 more source

A Filter Model for Concurrent $\lambda$-Calculus

SIAM Journal on Computing, 1998
Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro   +1 more
exaly  

Two-level Lambda-calculus

Electronic Notes in Theoretical Computer Science, 2009
Murdoch J Gabbay, Dominic P Mulligan
exaly  

Lambda calculus with patterns

Theoretical Computer Science, 2008
Jan Willem Klop, Vincent Van Oostrom, Roel De Vrijer   +2 more
exaly  

The Lazy Lambda Calculus:
an investigation into the foundations of functional programming

1992
openaire   +1 more source

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

Information and Computation, 1999
Antonino Salibra, Robert Goldblatt
exaly  

A lambda-calculus model of programming languages—I. Simple constructs

Computer Languages, Systems and Structures, 1975
exaly  

Enlargements of functional algebras for the lambda calculus

Theoretical Computer Science, 1998
Robert Goldblatt
exaly  

Decomposing typed lambda calculus into a couple of categorical programming languages

Lecture Notes in Computer Science, 2005
Masahito Hasegawa
exaly  

A lambda-calculus model of programming languages—II. Jumps and procedures

Computer Languages, Systems and Structures, 1975
exaly