2
Aplicando Semântica Denotacional ao Design de Programas
Eu li um pouco sobre semântica denotacional (DS) e estou muito intrigado com o processo de projetar programas de computador em que tipos e funções têm mapeamentos fortes e claros para a matemática. Existem recursos que discutem a criação de programas baseados no DS em detalhes? Eu já vi alguns …