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 10 months ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →

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

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


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “type-theory”:
Technorati Del.icio.us IceRocket