Advanced Functional Programming
This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...
Lire la suite
Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suite
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suite
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suite
Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...
Lire la suite
Functional and Logic Programming
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Lire la suite
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lire la suite
Implementation and Application of Functional Languages (vol. # 4015)
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lire la suite
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lire la suite
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Lire la suite
