generated at
SoPL

Semantics of Programming Languages: Structures and Techniques
Carl A. Gunter著

MIT press
amazon




全然知らないが、型理論とか圏論とか、そういう感じの強めの本らしい(?)

tweet
https://twitter.com/suibaka/status/1206201518254256128
https://twitter.com/Mizunashi_Mana/status/1206199923919605760
https://twitter.com/mskm9926/status/1085877556144795650

ここでも見た
https://haskell-with-skype.connpass.com/event/215507/
2021年に輪読会やってたらしい



似た名前の本に『The Formal Semantics of Programming Languages』がある