OCaml Programming: Correct and Efficient and Beautiful
cs3110.github.ioA textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is the textbook for CS 3110 Data Structures and Functional Programming at Cornell University. A past title of this book … Read more