受强制性开放获取政策约束的文章 - Ugo Dal Lago了解详情
无法在其他位置公开访问的文章：1 篇
Implicit recursion-theoretic characterizations of counting classes
U Dal Lago, R Kahle, I Oitavem
Archive for Mathematical Logic 61 (7), 1129-1144, 2022
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
可在其他位置公开访问的文章：45 篇
A lambda-calculus foundation for universal probabilistic programming
J Borgström, U Dal Lago, AD Gordon, M Szymczak
ICFP 2016 51 (9), 33-46, 2016
强制性开放获取政策： Swedish Research Council
Analysing the complexity of functional programs: higher-order meets first-order
M Avanzini, U Dal Lago, G Moser
ICFP 2015, 152-164, 2015
强制性开放获取政策： Austrian Science Fund
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
U Dal Lago, D Sangiorgi, M Alberti
POPL 2014, 297-308, 2014
强制性开放获取政策： Government of Italy
Automating sized-type inference for complexity analysis
M Avanzini, U Dal Lago
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
强制性开放获取政策： Austrian Science Fund
On probabilistic term rewriting
M Avanzini, U Dal Lago, A Yamada
Science of Computer Programming 185, 102338, 2020
强制性开放获取政策： Austrian Science Fund, European Commission, Agence Nationale de la Recherche
Probabilistic termination by monadic affine sized typing
UD Lago, C Grellois
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (2), 1-65, 2019
强制性开放获取政策： Agence Nationale de la Recherche
Intersection types and (positive) almost-sure termination
U Dal Lago, C Faggian, SRD Rocca
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
强制性开放获取政策： European Commission, Agence Nationale de la Recherche, Government of Italy
On the termination problem for probabilistic higher-order recursive programs
N Kobayashi, U Dal Lago, C Grellois
Logical Methods in Computer Science 16, 2020
强制性开放获取政策： Agence Nationale de la Recherche
On the versatility of open logical relations: Continuity, automatic differentiation, and a containment theorem
G Barthe, R Crubillé, UD Lago, F Gavazzo
European Symposium on Programming, 56-83, 2020
强制性开放获取政策： European Commission, Agence Nationale de la Recherche, Government of Italy
A relational theory of effects and coeffects
U Dal Lago, F Gavazzo
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
强制性开放获取政策： European Commission, Government of Italy
Type-based complexity analysis of probabilistic functional programs
M Avanzini, U Dal Lago, A Ghyselen
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
强制性开放获取政策： Agence Nationale de la Recherche
On probabilistic term rewriting
M Avanzini, U Dal Lago, A Yamada
Functional and Logic Programming: 14th International Symposium, FLOPS 2018 …, 2018
强制性开放获取政策： Austrian Science Fund
Differential logical relations part I: the simply-typed case
U Dal Lago, F Gavazzo, A Yoshimizu
ICALP 2019-46th International Colloquium on Automata, Languages and Programming, 2019
强制性开放获取政策： European Commission, Agence Nationale de la Recherche
The (in) efficiency of interaction
B Accattoli, U Dal Lago, G Vanoni
Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021
强制性开放获取政策： European Commission, Agence Nationale de la Recherche
On session types and polynomial time
U Dal Lago, P Di Giamberardino
Mathematical Structures in Computer Science 26 (8), 1433-1458, 2016
强制性开放获取政策： Government of Italy
The machinery of interaction
B Accattoli, U Dal Lago, G Vanoni
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
强制性开放获取政策： European Commission, Agence Nationale de la Recherche
Intersection types and runtime errors in the pi-calculus
U Dal Lago, M de Visme, D Mazza, A Yoshimizu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
强制性开放获取政策： Agence Nationale de la Recherche
On bisimilarity in lambda calculi with continuous probabilistic choice
U Dal Lago, F Gavazzo
Electronic Notes in Theoretical Computer Science 347, 121-141, 2019
强制性开放获取政策： Agence Nationale de la Recherche
Curry and howard meet borel
M Antonelli, U Dal Lago, P Pistone
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
强制性开放获取政策： European Commission, Agence Nationale de la Recherche
出版信息和资助信息由计算机程序自动确定