On Mon, Jun 13, 2016 at 1:58 AM, <as.u...@gmail.com> wrote: > What research or other literature can you recommend on the topic of type > theory?
Benjamin C. Pierce's "Types and Programming Languages", often abbreviated TAPL, is a classic text on type theory. Working from the semanticists favorite toy language, the Lambda-calculus, Pierce proceeds to add different type-theoretic constructs on top of it one at a time to explain their concepts. Don't let the choice of the lambda-calculus fool you. Once you add references into that language it essentially becomes a basis for imperative programming. -- J. -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
