2,231 followers
Proof-relevant parametricity https://t.co/JkLW3wGk7l #computation #computerscience #parametricity #programmming #openaccess @StrathCIS
Proof-relevant parametricity https://t.co/JkLW3wGk7l #computation #computerscience #parametricity #programmming #openaccess @StrathCIS