Mahsa Shirmohammadi : Publications
-
[1]
On Learning Polynomial Recursive Programs
Alex Buna−Marginean‚ Vincent Cheval‚ Mahsa Shirmohammadi and James Worrell
In Proc. ACM Program. Lang.. Vol. 8. No. POPL. 2024.
To appear January 2024.
Details about On Learning Polynomial Recursive Programs | BibTeX data for On Learning Polynomial Recursive Programs | DOI (10.1145/3632876)