The HimML Reference Manual
version 1.0 alpha 17

Jean Goubault-Larrecq

Abstract: This is the HimML reference manual. HimML is a close variant of the Standard ML language, with set-theoretic types, data structures and operators, and an extendible physical unit system.

Keywords: ML, sets, physical units.

Résumé


Ceci est le manuel de référence de HimML. HimML est une proche variante du langage Standard ML, avec des types, des structures de données et des opérateurs ensemblistes, et un système d'unités physiques extensible.

Mots-clés : ML, ensembles, unités physiques.

Copyright (c) 1992–1999 Jean Goubault-Larrecq and Bull S.A., 2000–2002 Jean Goubault-Larrecq et LSV/CNRS UMR 8643 & ENS Cachan
Bison parser generator Copyright (c) 1986 Free Software Foundation, Inc.
Regular expression matcher Copyright (c) 1986 by University of Toronto

This document was translated from LATEX by HEVEA.