News for hackers. Stuff that matters.

A comment on I no longer understand my PhD dissertation. Parent comment

Re:I no longer understand my PhD dissertation by pmarreck on Sunday February 14, 2016 @06:25PM (#11100512)
> type theory

Not sure if related to your username, but I have a book on it (that was recommended to me here, in fact) on this topic, which I was curious about due to its implications in the programming field

[ Parent | on HN ]
Re:I no longer understand my PhD dissertation by closure on Sunday February 14, 2016 @09:06PM (#11101109)
TAPL by Pierce is as far as I can tell the book everyone recommends, but if you have another you think is good I'm interested.
[ Parent | on HN ]