Jaro S. Reinders, Casper Bach Poulsen. A Type Theoretic Treatment of Context-Free Languages Without Mutual Recursion. In Jeremy Gibbons, editor, Trends in Functional Programming - 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers. Volume 15652 of Lecture Notes in Computer Science, pages 283-301, Springer, 2025. [doi]
Abstract is missing.