mirage

Parcourir par le sujet "Module Systems"

Système d'archivage DSpace/Manakin

Parcourir par le sujet "Module Systems"

Tri par : Ordre : Résultats :

  • Laboratoire de l'informatique du parallélisme; Courant, Judicael (1996-10)
    (eng) The module system of SML is a small typed language of its own. As is, one would expect a proof of its soundness following from a proof of subject reduction, but none exists. As a consequence the theoretical study of ...
  • Laboratoire de l'informatique du parallélisme; Courant, Judicael (1996-10)
    (eng) Several proof-assistants rely on the very formal basis of Pure Type Systems. However, some practical issues raised by the development of large proofs lead to add other features to actual implementations for handling ...
Bookmark and Share