Paolo Tranquilli
Tous
Revues
Conférences
Workshops
Manuscrits
Thèse
Exposés
Notes
Indexed Labels for Loop Iteration Dependent Costs
(07/2012) [mis á jour 23/01/2013].
Termination of Threads with Shared Memory via Infinitary Choice
(02/2011),
hal-00573690
.
Translating Types and Effects with State Monads and Linear Logic
(01/2010).
Accueil
Documents
Enseignement
Hacking
Liens