Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o / ) __) / / / / / /\/| (___/ (_/ (_ (_ / (__/ / | I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1, bâtiment C MARDI 21 février, 15h45 ---------------- Jacques Garrigue ---------------- Nagoya University ============================== Units in the OCaml typechecker ============================== We introduce an extension of the OCaml typechecker which allows to express units of measurement. It allows to verify the coherence of units in computations, with applications to scientific or financial algorithms. We reuse Kennedy's algorithm for unification of units, but go back to linear algebra to handle type inclusion and equality. The interaction of this extension with the core algorithm being very small, we also discuss how this could be implemented as a plug-in in the typechecker. (This is joint work with Dara Ly.)