Denotational Design - LambdaJam 2015

A conference talk presenting denotational design methodology for typed functional programming.

Neighborhood — ranked by edge-count

thinker

Bertrand Russell
mentions
Edsger Dijkstra
mentions
Author of epigraph on abstraction: 'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.'
Wolfgang Pauli
mentions
Quoted: 'It is not only not right, it is not even wrong.'
Demosthenes
mentions
Quoted: 'What we wish, that we readily believe.'

concept

Denotational Design
introduces
Core framework: methodology for typed, purely functional programming that uses precise semantic specification to inform both use and implementation
Image
introduces
A functional type representing a mapping from 2D locations to colors (or other values), used for resolution-independent image synthesis.
Conal Elliott
authored
Co-author of the Fruit GUI library paper; affiliated with Microsoft Research; contributor to Fran reactive animation language.
(⊸) linear transformation type
introduces
A domain-specific language for linear transformations, specified by denotation as linear maps (a ⊸ b).
Peter Landin
mentions
Recommended 'denotative' to replace ill-defined 'functional' and 'declarative'; introduced concept of genuine denotational semantics.
John Hughes
mentions
Author of 'Why Functional Programming Matters', cited for compositionality principle.