@patrikja@functional.cafe2025-10-26 13:17:25
In the paper "Agda-ventures with PolyP" Jeremy Gibbons (@…) and I revisit PolyP in a literate Agda setting — combining executable code, theory, and reflection on three decades of generic programming. It is part of a Festschrift gifted to Johan Jeuring at the academic celebration of his 60th birthday.
📖 Blog post:
