Comments on: There and Back Again http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/ Abstract types are existential types. Tue, 29 Jan 2013 15:10:50 +0000 hourly 1 http://wordpress.com/ By: Manuel Chakravarty (@TacticalGrace) http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-970 Sun, 12 Aug 2012 13:45:23 +0000 http://existentialtype.wordpress.com/?p=559#comment-970 Congrats! The various drafts were already a great resource — I am looking forward to the complete book.

]]> By: Mikhail Glushenkov (@refold) http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-967 Sat, 11 Aug 2012 06:23:55 +0000 http://existentialtype.wordpress.com/?p=559#comment-967 Congratulations! Pre-ordered it from Amazon.

]]> By: Robert Harper http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-956 Thu, 09 Aug 2012 14:18:16 +0000 http://existentialtype.wordpress.com/?p=559#comment-956 Under discussion with the publisher. The problem is that the Kindle, which I love for reading novels, is really bad for technical books. You basically have to treat it like a magnifying glass, and it’s no fun to use.

]]> By: Nick Barnes http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-955 Tue, 07 Aug 2012 19:24:19 +0000 http://existentialtype.wordpress.com/?p=559#comment-955 I see the UK pub date is the same. Looking forward to it.

]]> By: Sam Tetruashvili (@samtcmu) http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-954 Tue, 07 Aug 2012 14:06:08 +0000 http://existentialtype.wordpress.com/?p=559#comment-954 Congrats on finishing the book! It was useful in its early stages during 15-312 and continues to be useful to me to this day. This book and the ideas it contains have changed the way I think about programming.

]]> By: Gefei Zhang (@gefeizhang) http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-953 Tue, 07 Aug 2012 14:02:37 +0000 http://existentialtype.wordpress.com/?p=559#comment-953 Just downloaded the PDF version and eager to read it. Thanks.

]]> By: Adam Chlipala http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-952 Tue, 07 Aug 2012 12:38:37 +0000 http://existentialtype.wordpress.com/?p=559#comment-952 Amazon recommends to me this related reading:

COVERGIRL® Clean Make Up – Bring out Your True Beauty with a COVERGIRL Legendary Face Foundation

;)

]]> By: Greg Morrisett http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-951 Tue, 07 Aug 2012 02:40:12 +0000 http://existentialtype.wordpress.com/?p=559#comment-951 Yay! Have been waiting a long time….

]]> By: Steve Zdancewic http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-950 Tue, 07 Aug 2012 02:18:39 +0000 http://existentialtype.wordpress.com/?p=559#comment-950 Awesome! I’ve already found parts of your earlier drafts useful as an introduction to students new to PL. I look forward to the full book…

]]> By: Alexander Kyte http://existentialtype.wordpress.com/2012/08/06/there-and-back-again/#comment-949 Tue, 07 Aug 2012 01:54:19 +0000 http://existentialtype.wordpress.com/?p=559#comment-949 This looks like an amazingly thorough book, and it reads like a math book rather than a programming book (that is a very good thing.) Thank you for the effort, and for openly releasing this book. My kindle is going to be quite busy for a while.

]]>