Mot de passe oublié ?

Blogs sur: Type Theory

Blog vedette

Post-doctorate position in Programming Language Design

Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans) offer a post-doctorate position in the domain of Programming Language Design,… la suite →

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

Post-doctorate position in Programming Language Design

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

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

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 : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Extrapol, Blackhat, code analysis, complete


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS