conal/talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
Test HERMIT-based dictionary construction
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Talk material for LambdaJam 2014/2015 on denotational design
My favorite quotes
Haskell Equational Reasoning Model-to-Implementation Tunnel
Denotational Design: from programs to meanings