BayHac2014/DenotationalDesign

Speaker: Conal Elliott

Title: Denotational Design: from meanings to programs

For slides, abstract and remarks on "why continuous time matters", see this talk's README on GitHub.