Saya telah membaca sedikit tentang denotational semantic (DS) dan saya sangat tertarik dengan proses mendesain program komputer di mana jenis dan fungsi memiliki pemetaan yang kuat dan jelas untuk matematika.
Apakah ada sumber daya yang membahas perancangan program berdasarkan DS secara detail? Saya telah melihat beberapa perawatan yang dangkal dari subjek.
Saya fasih berbahasa Haskell, Scala, Common Lisp, dan sedikit Skema sehingga sumber daya apa pun yang menggunakan bahasa-bahasa itu akan sangat dihargai.