Artículos con órdenes de acceso público - Federico OlmedoMás información
Disponibles en algún lugar: 5
Weakest precondition reasoning for expected runtimes of randomized algorithms
BL Kaminski, JP Katoen, C Matheja, F Olmedo
Journal of the ACM (JACM) 65 (5), 1-68, 2018
Órdenes: German Research Foundation
Conditioning in probabilistic programming
F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018
Órdenes: German Research Foundation
A mechanized formalization of GraphQL
T Díaz, F Olmedo, É Tanter
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
Órdenes: European Commission
Contextual linear types for differential privacy
M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter
ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023
Órdenes: US National Science Foundation
A Gradual Probabilistic Lambda Calculus
W Ye, M Toro, F Olmedo
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 256-285, 2023
Órdenes: Research Grants Council, Hong Kong
La información de publicación y financiación se determina de forma automática mediante un programa informático