AVANZINI, MARTIN
AVANZINI, MARTIN
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.026 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Automating sized-Type inference and complexity analysis | Avanzini, Martin; Ugo Dal, Lago | 2017-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
| Automating sized-type inference for complexity analysis | Avanzini, Martin; Dal Lago, Ugo | 2017-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | - |
| On sharing, memoization, and polynomial time | Avanzini, Martin; Dal Lago, Ugo | 2015-01-01 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |