View in EDS HTML Full Text PDF Full Text

Extensional equality preservation and verified generic programming.

Saved in:

Bibliographic Details
Title:	Extensional equality preservation and verified generic programming.
Authors:	BOTTA, NICOLA¹ botta@pik-potsdam.de, BREDE, NURIA² nubrede@pik-potsdam.de, JANSSON, PATRIK³ patrikj@chalmers.se, RICHTER, TIM⁴ tim.richter@uni-potsdam.de
Source:	Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-24. 24p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S0956796821000204