and suggestions for improvement. I also thank the following people for

by Robert Harper , Their Suggestions , Corrections Arbob Ahmad , Zena Ariola , Guy E. Blelloch , William Byrd , Luis Caires , Luca Cardelli , Manuel Chakravarti , C. Cobbe , Karl Crary , Daniel Dantas , Anupam Datta , Jake Donham , Dan Friedman , Maia Ginsburg , Kevin Hely , Cao Jing , Danielle Kramer , Akiva Leffert , Ruy Ley-wild , Dan Licata , Dave Macqueen , Chris Martens , Greg Morrisett , Tom Murphy , Georg Neis , David Neville , Doug Perkins , Frank Pfenning , Jean Pichon , Benjamin C. Pierce , Andrew M. Pitts , Gordon D. Plotkin , Dana Scott , Robert Simmons , Pawel Sobocinski , Daniel Spoonhower