Mot de passe oublié ?

Blogs sur: Extrapol

Extrapol and Korset

yoric wrote 1 year ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →

Mots-clefs : In English | en Anglais, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, Blackhat, code analysis, complete, Dependent Types

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 : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, batteries included, Static Analysis, Safety, Security

Extrapol, première partie : de C aux effets

yoric wrote 1 year ago: Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version françai … more →

Mots-clefs : Enseignement, Informatique - Computer Science, Sûreté / Security, Recherche / Research, En Français | in French, OCaml, SELinux, Logiciel Libre, Windows

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 : In English | en Anglais, Informatique - Computer Science, Java, OCaml, Recherche / Research, Sûreté / Security, C#, coding, Dependent Types


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS