Denotational Design

..

Denotational Design is a strong approach to software design applicable to ML languages like Haskell, Elm, F# and OcaML.

I was first introduced to Denotaional Design when I watched a talk by Conal Elliot.

Some references: