Mot de passe oublié ?

Blogs sur: Type Theory

Blog vedette

Post-doctorate position in Programming Language Design

yoric a écrit 1 year ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … plus →

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

Extrapol and Korset

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

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


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS