Abstract
This is the GimML reference manual. GimML 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 GimML. GimML 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) 2021 Jean Goubault-Larrecq and Universit Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Mthodes
Formelles, 91190, Gif-sur-Yvette, France.
Bison parser generator Copyright (c) 1986 Free Software Foundation, Inc.
Linenoise line editing facilities Copyright (c) 2010-2016 Salvatore Sanfilippo, Copyright (c) 2010-2013 Pieter
Noordhuis