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
1 code implementation • 29 Nov 2016 • Cezar Ionescu, Patrik Jansson
We present the approach underlying a course on "Domain-Specific Languages of Mathematics", currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying classical mathematics (mainly real and complex analysis).
Computers and Society Programming Languages