AI, Data Science & Cloud Certificates from Google, IBM & Meta
Build the Finance Skills That Lead to Promotions, Not Just Certificates
Overview
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.
Syllabus
A More Elegant Specification for Functional Reactive Programming • Conal Elliott • YOW! 2015
Taught by
GOTO Conferences