LY, Dara (2016) PRE - Research Project, ENSTA.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF Available under License Creative Commons Attribution Non-commercial. 417Kb |
Abstract
Ce document décrit l’implémentation de types permettant d’encoder la notion d’unité de mesure dans le langage OCaml. On définit ces types, un algorithme d’unification pour leur inférence, et un algorithme de comparaison.
| Item Type: | Thesis (PRE - Research Project) |
|---|---|
| Uncontrolled Keywords: | typage, inférence, unités de mesure, OCaml |
| Subjects: | Information and Communication Sciences and Technologies |
| ID Code: | 6738 |
| Deposited By: | Dara Ly |
| Deposited On: | 20 sept. 2016 16:06 |
| Dernière modification: | 20 sept. 2016 16:12 |
Repository Staff Only: item control page
