Thanks! On Monday, June 13, 2016 at 3:27:51 AM UTC-7, Jesper Louis Andersen wrote: > > > On Mon, Jun 13, 2016 at 1:58 AM, <as....@gmail.com <javascript:>> 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.
