Skip to main content

Ctrl+K

Using this book as part of a course? Please let us know!

Preface

About This Book
Installing OCaml

Introduction

1. Better Programming Through OCaml
2. The Basics of OCaml

OCaml Programming

3. Data and Types
4. Higher-Order Programming
5. Modular Programming
6. Mutability
7. Concurrency

Correctness and Efficiency

8. Correctness
9. Data Structures

Language Implementation

10. Interpreters

Lagniappe

The Curry-Howard Correspondence

Appendix

Big-Oh Notation
Virtual Machine

Repository
Open issue

Index

By Michael R. Clarkson et al.

© Copyright 2025.