TASSON Christine

Full Professor, Sorbonne Université
Подразделение : APR
https://tasson.perso.lip6.fr

Окончание контракта : 31.12.2022

один Аспирант (Научны(е)й руководител(и)ь / Со-руководитель)

CARBONNEAU Danaël : Machines Co-inductives Monadiques pour la Programmation Probabiliste Certifiée.

2025
- É. Thomé, X. Denis, Ch. Tasson : “GRust: A Programming Language for Automotive Engineering”, Formal Methods for Industrial Critical Systems (FMICS), vol. 16040, Lecture Notes in Computer Science, Aarhus, Denmark, pp. 127-143, (Springer Nature Switzerland) (2025)
2022
- A. Guatto, Ch. Tasson, A. Vienot : “A reactive operational semantics for a lambda-calculus with time warps”, Journées Francophones des Langages Applicatifs - JFLA 2022, Saint-Médard-d'Excideuil, France (2022)