16:38Denotational Design: from meanings to programs By Conal Elliott at BayHac 2014 1/4Zaki ManianRecommended by 1 • 12 years ago