Paul Krogmeier, P. Madhusudan. Languages with Decidable Learning: A Meta-theorem. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):143-171, April 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.