Search for tag: "reveal"

Thumbnail for Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

duration 30 minutes 15 seconds

Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

cos326
m1
values
implementation
m2
v2
module
dot
implementations
function
signature
modules
relation
representation
v1
abstraction
relationship
operation
operations
reveal
client
From  Daniel Macleod 0 likes 225 plays
Date
November 3rd, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ