Type-Based Complexity Analysis of Probabilistic Functional Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen. Type-Based Complexity Analysis of Probabilistic Functional Programs. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. pages 1-13, IEEE, 2019. [doi]

This author has not been identified. Look up 'Martin Avanzini' in GoogleThis author has not been identified. Look up 'Ugo Dal Lago' in GoogleThis author has not been identified. Look up 'Alexis Ghyselen' in Google

runs on WebDSL