J'ai lu un peu sur la sémantique dénotationnelle (DS) et je suis très intrigué par le processus de conception de programmes informatiques où les types et les fonctions ont des correspondances fortes et claires avec les mathématiques.
Existe-t-il des ressources pour discuter en détail de la conception de programmes basés sur DS? J'ai vu quelques traitements superficiels du sujet.
Je suis familier avec Haskell, Scala, Common Lisp et un peu de Scheme, donc toutes les ressources qui utilisent ces langues seraient grandement appréciées.