On Saturday, April 20, 2013, Harry Spier wrote: > > Can someone recommend a good book on type systems? Is "The Little MLer" a > good place to start and can you do this book with typed Racket rather than > ML. > > Types and Programming Languages (TAPL) is a good one.
http://www.cis.upenn.edu/~bcpierce/tapl/
____________________ Racket Users list: http://lists.racket-lang.org/users
