Post #2346190
2026-04-27 06:51 UTC
@dpiponi@mathstodon.xyz Yup, I'm planning to pursue this perspective in my short course Algebra and Normalisation at this year's Scottish Proframming Languages and Verification summer school in Glasgow
https://spli.scot/splv/2026-glasgow/
This is also the perspective we take in the various frex papers and abstracts (ICFP18, PEPM20+23, ICFP25).
Replies (1)
-
@ohad@mathstodon.xyz 2026-04-27 06:54
@dpiponi@mathstodon.xyz From this perspective, what this aspect of modern algebra gives you is not the efficient or partially evaluated residual program, but a normalised representation from which you can generate the residual program, making sure you have taken into account all of the statically available information.