#icfp — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #icfp, aggregated by home.social.
-
Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below :Blobhaj_Read_Octopus:
#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory