Skip to main content

Ctrl+K

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

Correctness and Efficiency

6. Correctness
7. Mutability
8. Data Structures

Language Implementation

9. Interpreters

Lagniappe

The Curry-Howard Correspondence

Appendix

Big-Oh Notation
Virtual Machine

Repository
Open issue

Search

Ctrl+K

By Michael R. Clarkson et al.

© Copyright 2024.