Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk presents denotational design with type class morphisms as a way to derive precise specifications for functional reactive programming from simple equations over abstract interfaces. It explains how the approach preserves the original semantics, guarantees algebraic laws, and prevents abstraction leaks.
