Advanced Functional Programming
Advanced Functional Programming

Author: Pieter Koopman

Publisher: Springer

Published: 2009-09-29

Total Pages: 345

ISBN-13: 3642046525

DOWNLOAD EBOOK

Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, spider spinning, reduction-based normalization and Haskell programming.

Functional and Logic Programming
Functional and Logic Programming

Author: Michael Hanus

Publisher: Springer Nature

Published: 2022-05-03

Total Pages: 298

ISBN-13: 3030994619

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

Lisp in Small Pieces
Lisp in Small Pieces

Author: Christian Queinnec

Publisher: Cambridge University Press

Published: 2003-12-04

Total Pages: 540

ISBN-13: 9780521545662

DOWNLOAD EBOOK

This will become the new standard reference for people wanting to know about the Lisp family of languages.