Extensional equality preservation and verified generic programming.

Nicola Botta Nuria Brede Patrik Jansson Tim Richter

Published in: J. Funct. Program. (2021)

Keyphrases

domain specific
programming language
information systems
high level
digital objects
object oriented programming
information retrieval
social networks
programming environment
equivalence relation