There’s a chapter on it in the second of Benjamin C. Pierce’s two books surveying topics in type theory. I’d be surprised if there are introductions to it other than that and the original papers.
I was kind of looking forward to that reading group to motivate me to actually study this material in more detail, I hope it actually happens. :)
I’m sure this will be a great talk … just need to find the time to watch it :)
Ooh! Same! Typed assembly language is a topic that deserves far more attention. :)
This sounds intriguing - is there any entry-level stuff discussing this? (Maybe this talk, but as a non-Haskeller, the Haskell tag is not a good omen)
There’s a chapter on it in the second of Benjamin C. Pierce’s two books surveying topics in type theory. I’d be surprised if there are introductions to it other than that and the original papers.
I was kind of looking forward to that reading group to motivate me to actually study this material in more detail, I hope it actually happens. :)