no code implementations • 5 Aug 2020 • Nuria Brede, Nicola Botta
The conditions that we impose are fairly general and can be cast in category-theoretical terms using the notion of Eilenberg-Moore-algebra.
Logic in Computer Science
no code implementations • 5 Aug 2020 • Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
This suggests that preservation of extensional equality could be a useful principle in verified generic programming.
Logic in Computer Science