We study a series of milestones leading to the emergence of lazy, higher order, polymorphically typed, purely functional programming languages. An invited lecture given at TFP12, St Andrews University, 12 June 2012
We express implementations of functional languages as a succession of program transformations in a c...
Journal ArticleA programming language kernel is presented where an algorithm is a function defined t...
The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature o...
This thesis explores the world of Lambda Calculus, functional programming, which is based on Lambda ...
The goal of this research is to design and implement a small functional programming language that in...
Research in the area of functional programming languages has intensified in the 8 years since John B...
This thesis makes three distinct contributions to software engineering, using typed functional progr...
We introduce a pure functional programming language, Haskell. We discuss the advantages of the Haske...
Functional programming is a programming paradigm like object-oriented programming and logic programm...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
This article provides a survey of key papers that characterise computable functions, but also provid...
AbstractFinitely typed functional programs are naturally classified by their levels. This syntactic ...
AbstractThe type-free λ-calculus is powerful enough to contain all the polymorphic and higher-order ...
Functional programming has come of age: it is now a standard course in any computer science curricul...
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary pap...
We express implementations of functional languages as a succession of program transformations in a c...
Journal ArticleA programming language kernel is presented where an algorithm is a function defined t...
The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature o...
This thesis explores the world of Lambda Calculus, functional programming, which is based on Lambda ...
The goal of this research is to design and implement a small functional programming language that in...
Research in the area of functional programming languages has intensified in the 8 years since John B...
This thesis makes three distinct contributions to software engineering, using typed functional progr...
We introduce a pure functional programming language, Haskell. We discuss the advantages of the Haske...
Functional programming is a programming paradigm like object-oriented programming and logic programm...
textabstractThe purpose of this book is to teach logic and mathematical reasoning in practice, and ...
This article provides a survey of key papers that characterise computable functions, but also provid...
AbstractFinitely typed functional programs are naturally classified by their levels. This syntactic ...
AbstractThe type-free λ-calculus is powerful enough to contain all the polymorphic and higher-order ...
Functional programming has come of age: it is now a standard course in any computer science curricul...
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary pap...
We express implementations of functional languages as a succession of program transformations in a c...
Journal ArticleA programming language kernel is presented where an algorithm is a function defined t...
The type-free ¿-calculus is powerful enough to contain all the polymorphic and higher-order nature o...
DOI
Add to ORKG