Xavier Leroy's new book on Control Sturctures in Programming

This is a preview of a book to be published by Cambridge University Press. It is distributed under the terms of the CC BY-NC-SA 4.0 license.