Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Something went wrong
An error occurred, please try again later.
Try again
Cos326-13-04-module-equivalence
From
Daniel Macleod
November 3rd, 2020
0 likes
0
227 plays
227
You unliked the media.
Related Media
Loading…
Details
Details
.
.
.
Details
.
.
.
Back
Proving the Equivalence of Two Modules
Tags
cos326
m1
values
implementation
m2
v2
module
dot
implementations
function
signature
modules
relation
representation
v1
abstraction
relationship
operation
operations
reveal
client
Date
November 3rd, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ
Appears In
COS 326 Functional Programming
Looking for more...