Paolo Tranquilli
Tutti
Riviste
Conferenze
Workshops
Preprint
Tesi
Presentazioni
Note
Indexed Labels for Loop Iteration Dependent Costs
(07/2012) [aggiornato 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).
Home
Documenti
Didattica
Hacking
Links