Я читал немного о денотационной семантике (DS), и я очень заинтригован процессом разработки компьютерных программ, где типы и функции имеют четкое и ясное отображение в математике.
Существуют ли какие-либо ресурсы, которые подробно обсуждают вопросы разработки программ на основе DS? Я видел несколько поверхностных обработок предмета.
Я знаком с Haskell, Scala, Common Lisp и немного Scheme, поэтому любые ресурсы, использующие эти языки, будут высоко оценены.