Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation Book 2)

Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers (Lecture Notes in Computer Science Book 13868)

Diffusing Software Product and Process Innovations: IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April ... and Communication Technology Book 59)

Microsoft Dynamics 365 Customer Service Functional Consultant MB-230 Questions & Dumps: Exam Prep Questions for MB-230 Updated Version with References

Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers (Lecture Notes in Computer Science Book 8606)

Trends in Functional Programming Volume 7

Security on the Web (ISSN Book 83)

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 9600)

Functional Imaging and Modeling of the Heart: 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings (Lecture Notes in Computer Science Book 11504)

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings ... Notes in Computer Science Book 9763)