Extensional equality preservation and verified generic programming.

Nicola Botta Nuria Brede Patrik Jansson Tim Richter

Published in: CoRR (2020)

Keyphrases

programming language
high level
general purpose
digital objects
high level language
data mining
information retrieval
database systems
domain specific
logic programs
computer programs
computer programming
programming environment
digital preservation
fully functional