« PML » : différence entre les versions

Version du 18 janvier 2008 à 09:50

PML : Proved ML or Programmable Mathematical Logic

@@ Ligne 6 : / Ligne 6 : @@
 [[ 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.