Search Results for: Proceedings Of The Sixth Acm Sigplan International Conference On Functional Programming Icfp 01 Florence Italy September 3 5 2001

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

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 pape

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