Avanzini, Martin; Ugo Dal, Lago, Automating sized-Type inference and complexity analysis, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2017, 248, pp. 7 - 16 (atti di: 8th Workshop on Developments in Implicit Computational ComplExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis, DICE-FOPARA 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Avanzini, Martin; Dal Lago, Ugo, Automating sized-type inference for complexity analysis, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [articolo]
Dal Lago, Ugo; Gavazzo, Francesco; Levy, Paul Blain, Effectful applicative bisimilarity: Monads, relators, and Howe's method, in: Proceedings - Symposium on Logic in Computer Science, IEEE, 2017, pp. 1 - 12 (atti di: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 2017) [Contributo in Atti di convegno]
Ugo Dal, Lago; Gavazzo, Francesco; Tanaka, Ryo, Effectful applicative similarity for call-by-name lambda calculi, in: Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking 2017 IEEE M&N, CEUR-WS, 2017, 1949, pp. 87 - 98 (atti di: Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017, ita, 2017) [Contributo in Atti di convegno]
Crubillé, Raphaelle; Dal Lago, Ugo, Metric reasoning about Lambda-Terms: The general case, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 341 - 367 (atti di: 26th European Symposium on Programming, ESOP 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe, On higher-order probabilistic subrecursion, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10203, pp. 370 - 386 (atti di: 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Ugo Dal, Lago; Grellois, Charles, Probabilistic termination by monadic affine sized typing, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 393 - 419 (atti di: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]
Dal Lago, Ugo; Tanaka, Ryo; Yoshimizu, Akira, The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens, in: Lago, Ugo Dal, Proceedings - Symposium on Logic in Computer Science, 2017, pp. 1 - 12 (atti di: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 2017) [Contributo in Atti di convegno]
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoit; Yoshimizu, Akira, The geometry of parallelism: Classical, probabilistic, and quantum effects, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), New York, Association for Computing Machinery, 2017, pp. 833 - 845 (atti di: 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 2017) [Contributo in Atti di convegno]Open Access
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin, A lambda-calculus foundation for universal probabilistic programming, in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ACM, 2016, pp. 33 - 46 (atti di: ICFP, Nara, Giappone, Settembre 2016) [Contributo in Atti di convegno]
Dal Lago, Ugo, Infinitary Lambda Calculi from a Linear Perspective, in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 447 - 456 (atti di: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, Columbia University, New York, USA, 2016) [Contributo in Atti di convegno]
Dal Lago, Ugo; Di Giamberardino, Paolo, On session types and polynomial time, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 1433 - 1458 [articolo]
