Related Books

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001
Language: en
Pages: 292
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 465
Authors: Jan Friso Groote
Categories: Computers
Type: BOOK - Published: 2021-03-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Sy
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 484
Authors: Dirk Beyer
Categories: Computers
Type: BOOK - Published: 2020-01-14 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 pape
Functional and Logic Programming
Language: en
Pages: 336
Authors: Jeremy Gibbons
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Advanced Functional Programming
Language: en
Pages: 223
Authors: Johan Jeuring
Categories: Computers
Type: BOOK - Published: 2004-01-30 - Publisher: Springer

DOWNLOAD EBOOK

This tutorial book presents seven revised lectures given by leading researchers at the 4th International School on Functional Programming, AFP 2002, in Oxford,