# Please note that Dependent ML (DML) is no longer under active development. As a language, it has already been fully incorporated into ATS. # Dependent ML (DML) is a conservative extension of the functional programming language ML. The type system of DML enriches that of ML with a restricted form of dependent types. This allows many interesting program properties such as memory safety and termination to be captured in the type system of DML and therefore be verified at compiler-time. # DML The current (undocumented) implementation of a DML type-checker can be found here, which is written in Objective Caml. The syntax of DML can be readily learned from the various examples included in the distribution given that one is already familiar with Standard ML. Also, termination checking is supported in this implementation. # de Caml is the Caml-light compiler extended with a front-end supporting DML style dependent types.
x leroy, d remy Version monolitique, Postscript, PDF; Résumé: Ce document est un cours d’introduction à la programmation du système Unix, mettant l’accent sur la communication entre les processus. La principale nouveauté de ce travail est l’utilisation du langage Objective Caml, un dialecte du langage ML, à la place du langage C qui est d’ordinaire associé à la programmation système. Ceci donne des points de vue nouveaux à la fois sur la programmation système et sur le langage ML. Introduction Généralités Les fichiers Les processus Les signaux Communications inter-processus classiques Communications modernes: les prises Les coprocessus Pour aller plus loin Références
This is CamlPDF, an OCaml library for reading, writing and manipulating Adobe portable document files. CamlPDF consists of a set of low level modules for representing, reading and writing the basic structure of PDF, together with an initial attempt at a higher level API.