LY, Dara (2016) PRE - Projet de recherche, ENSTA.

Fichier(s) associé(s) à ce document :

[img]
Prévisualisation
PDF
Available under License Creative Commons Attribution Non-commercial.
417Kb

Résumé

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.

Type de document:Rapport ou mémoire (PRE - Projet de recherche)
Mots-clés libres: typage, inférence, unités de mesure, OCaml
Sujets:Sciences et technologies de l'information et de la communication
Code ID :6738
Déposé par :Dara Ly
Déposé le :20 sept. 2016 16:06
Dernière modification:20 sept. 2016 16:12

Modifier les métadonnées de ce document.