Sciweavers

194 search results - page 1 / 39
» An Introduction to the Lambda Calculus
Sort
View

Book
630views
16 years 8 months ago
Introduction to Functional Programming
"These are the lecture notes accompanying the course Introduction to Functional Programming, which I taught at Cambridge University in the academic year 1996/1997."
John Harrison
110
Voted
CEFP
2007
Springer
15 years 4 months ago
An Introduction to the Lambda Calculus
Zoltán Csörnyei, Gergely Dévai
99
Voted
LICS
2012
IEEE
13 years 19 days ago
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
Naohiko Hoshino
121
Voted
APLAS
2001
ACM
15 years 1 months ago
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
Masahito Hasegawa
87
Voted
CORR
2008
Springer
172views Education» more  CORR 2008»
14 years 10 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger