top | item 45435541 (no title) mogoh | 5 months ago TTOP? Do you mean TTFP? discuss order hn newest quchen|5 months ago TAPL, I meant TAPL (Types and Programming languages by Pierce)! This would not have happened with a well-typed comment section. I mixed up OP's book (which is nice as well!) and the abbreviation. Sorry! unknown|5 months ago [deleted]
quchen|5 months ago TAPL, I meant TAPL (Types and Programming languages by Pierce)! This would not have happened with a well-typed comment section. I mixed up OP's book (which is nice as well!) and the abbreviation. Sorry! unknown|5 months ago [deleted]
quchen|5 months ago
unknown|5 months ago
[deleted]