PML
Aller à la navigation
Aller à la recherche
PML : Proved ML or Programmable Mathematical Logic
Chronique de naissance (liste de mails en français)
Discussions en cours
- Compilo? Cible probable LLVM.
- Généralisation.
- Spécifications et preuves.
- Exemples (notamment en utilisant "untyped").
- Mise à jour de la doc.
- Révisions: PML le langage.