Mmmm… iso-recursive types… 😋
Conversation
Is this Pierce?
1
Yes! Types and Programming Languages. Getting my head around recursive types at last! It's a bit of a mind-bend!
1
1
My favorite type systems textbook! Sadly my copies of TAPL and Advanced TAPL are on loan to someone who lent me geometric algebra textbooks in turn... Enjoy!
1
1

