Review the book

Advanced Topics in Types and Programming Languages (Mit Press)

Score

search