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–2005, 2008, 2011, 2021 Jean Goubault-Larrecq and
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