Sciweavers

PLPV
2010
ACM
14 years 8 months ago
Free theorems for functional logic programs
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
Jan Christiansen, Daniel Seidel, Janis Voigtlä...
ESOP
2010
Springer
14 years 8 months ago
Functional Programming in Sublinear Space
Ugo Dal Lago, Ulrich Schöpp
CADE
2009
Springer
15 years 1 days ago
Complexity of Fractran and Productivity
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
Clemens Grabmayer, Dimitri Hendriks, Jörg End...
ICFP
2009
ACM
15 years 2 days ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan

Book
594views
15 years 9 months ago
A Gentle Introduction to Haskell
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes Monads,...
Paul Hudak, John Peterson, Joseph Fasel

Book
1636views
15 years 9 months ago
How to Design Programs
One of the best books to learn Scheme and functional programming concepts. The book is freely available online. It is full of examples and exercises suitable for various levels of ...
Matthias Felleisen, Robert Bruce Findler, Matthew ...

Book
313views
15 years 9 months ago
A Functional Pattern System for Object-Oriented Design
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
Thomas Kühne

Book
397views
15 years 9 months ago
Computational Semantics with Functional Programming
"This book on applications of logic in the semantic analysis of language pays the reader the compliment of not assuming anything about what he or she knows (in particular, no...
Jan van Eijck, Christina Unger

Book
296views
15 years 9 months ago
Implementing Functional Languages: a tutorial
"This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of pr...
Simon Peyton Jones, David Lester

Book
630views
15 years 9 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