https://lukepalmer.wordpress.com/2008/07/18/semantic-design/
Good example of modelling in for, but as always I am skeptical of claims like, “Thus, when done correctly, a semantically designed abstraction cannot leak.” #goedel
an appendix to pearlofcivilization.net
https://lukepalmer.wordpress.com/2008/07/18/semantic-design/
Good example of modelling in for, but as always I am skeptical of claims like, “Thus, when done correctly, a semantically designed abstraction cannot leak.” #goedel