SoPL
https://gyazo.com/3990750ffbca9f26ce0a176df1f4282a
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』
がある