Journey From Imperative to Functional Programming
Thursday, February 20, 2014
What is meaning of denotation semantic ....
An absolute not to be missed lecture by David Sankel: The intellectual Ascent to Agda.
He talks about Denotational Semantic and interestingly describing it as: augmenting math to talk about meaning and then extend math to program in math.