Mot de passe oublié ?

Blogs sur: Theorie Des Types

Blog vedette

Post-doctorat en langages de programmation

L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un poste de post-doctorat dans le domaine de l… more →

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

Post-doctorat en langages de programmation

yoric wrote 1 year ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laborat … more →

Mots-clefs : En Français | in French, Enseignement, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, algèbre réduite, algèbres de processus, analyse statique


Tags connexes
All →

Suivre cette étiquette via RSS