- Author
- Sylvain Conchon and Jean-Christophe Filliâtre, translated by Urmila Nair
- Published
- Undated
- Kind
- Landing page for a book translation
- Original
- usr.lmf.cnrs.fr/lpo/
- Subject
- Programming languages and types
What it is
The page announces an English translation of a French book by Conchon and Filliâtre. The translation was by Urmila Nair. The page links download files and an error report form.
What it says
- The page says the book is an English translation of a French book.
- The page says the OCaml Software Foundation funded the translation. It says CC BY SA 4.0 licenses the book.
- The page links a PDF, an EPUB and the code.
What evidence it gives
The page offers only a few lines of text and download links. There is nothing to evaluate.
Interests and limits
The page is very short. The book itself, the PDF and the code were not opened or read. Nothing here describes the book's contents.