Ilya Sergey
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Reposted by Ilya Sergey
@mathieu.social will be presenting a functional pearl "Invertible Syntax without the Tuples", joint work with Arnaud Spiwack, at Olivier Danvy's Festschrift on the Tuesday 14th. conf.researchr.org/details/icfp...
Invertible Syntax without the Tuples (Functional Pearl) (OlivierFest 2025) - ICFP/SPLASH 2025
This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday. Olivier is a visionary in the field of programming languages and is well-known for…
conf.researchr.org
October 2, 2025 at 9:00 AM
@mathieu.social will be presenting a functional pearl "Invertible Syntax without the Tuples", joint work with Arnaud Spiwack, at Olivier Danvy's Festschrift on the Tuesday 14th. conf.researchr.org/details/icfp...
And your point is?
September 28, 2025 at 12:42 PM
And your point is?