Icfp 2026
The awesome paper Towards a Higher-Order Bialgebraic Denotational Semantics has been (definitely) accepted for publication at ICFP’26! A preprint is available online.
The awesome paper Towards a Higher-Order Bialgebraic Denotational Semantics has been (definitely) accepted for publication at ICFP’26! A preprint is available online.