Review of "Real World OCaml: Functional Programming for the Masses" Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023
Abstract
Functional Programming for the Masses" Second Edition, by
Related papers
- Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin JFP 2011
- VeriFx: Correct Replicated Data Types for the Masses ECOOP 2023
- Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008 JFP 2009
- Confessions of a used programming language salesman OOPSLA 2007
- A Stable Lossless Syntax Tree for Real-Time Collaborative Programming ECOOP 2026
- EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows OOPSLA 2026
- Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines CPP 2019
- Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X JFP 2008