Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop. Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proceedings of the ACM on Programming Languages, 8(POPL):1509-1539, January 2024. [doi]
No reviews for this publication, yet.