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