Mot de passe oublié ?

Blogs sur: Types With Effects

Blog vedette

Extrapol source code available (not)

A quick note to inform you that the repository for Extrapol is now public. The source code as available on the repository does not have a licence yet and will not compile as such, due to dependencies … la suite →

Il y a du thé renversé au bord de la table

Extrapol source code available (not)

yoric wrote 1 year ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →

Mots-clefs : batteries included, Extrapol, In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Static Analysis, Safety

Extrapol, part 1: from C to Effects

yoric wrote 1 year ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wor … more →

Mots-clefs : Extrapol, In English | en Anglais, Informatique - Computer Science, Java, OCaml, Recherche / Research, Sûreté / Security, Static Analysis, Security


Tags connexes
Tout →

Suivre cette étiquette via RSS