On HtDP
  Sem. Eng.
  Realm of Racket
  NSF: Gradual
Professional Coordinates



The Racket Manifesto (abstract, slides (pdf))
CurryOn Rome, Italy; July 2016

Twentyeight Years of Adding Types to Untyped Languages (abstract, slides (pdf))
ECOOP Summer School Rome, Italy; July 2016

Love, Marriage, and Happiness (abstract, slides (pdf))
PLMW Santa Barbara, CA; June 2016

Developing Developers (abstract, slides (pdf))
Trends in Functional Programming---Education College Park, MD, June 2016

Types are like the Weater, Type Systems are like Weatermen (abstract, slides (pdf))
Clojure West Seattle, WA; April 2016

How do I do Reserch (abstract, slides (pdf))
Programming Language Mentoring Workshop Vancouver, Canada; September 2015

Contracts: Semantics and Pragmatics (abstract, slides (pdf))
Workshop in Honor of Pierre-Louis Curien Venice, Italy; September 2013

Multilingual Component Programming in Racket (abstract, slides (pdf))
Keynote: Tenth International Conference on Generative Programming and Component Engineering (GPCE) Portland, OR; October 2011

Functional Programming is Easy, and Good for You (abstract, slides (pdf))
slides (
slides (gs.key.gz)

The TeachScheme! Project (abstract, slides (pdf))
Keynote: The Annual Conference of the Special Interest Group on Computer Science Education (SIGCSE) Dallas, TX; March 2011

TeachScheme! -- A Checkpoint (abstract, slides (pdf))
Keynote: International Conference on Functional Programming (ICFP) Baltimore, MD; September 2010

Many Macros, Tons of Types (abstract, slides (pdf))
Keynote: European Lisp Symposium Lisbon, Portugal; May 2010

Adding Types to Untyped Languages (abstract, slides (pdf))
Keynote: Types in Language Design and Implementation (TLDI), Madrid, Spain; January 2010

Fun For Freshman Kids and a Functional I/O System (abstract, slides (pdf))

From Soft Scheme to Typed Scheme: Experiences from 20 Years of Script Evolution, and Some Ideas on What Works (abstract, slides (pdf))
Keynote: Scripts to Programs (STOP), Genova, Italy; July 2009

How to Design Class Hierarchies (abstract, slides (pdf))
Keynote: Functional and Declarative Programming in Education (FDPE), Tallin, Estonia; Spetmeber 2005
(delivered by Matthew Flatt)

The First Year (abstract, slides (pdf))

Functional Objects (abstract, slides (pdf))
Keynote: European Conference on Object-Oriented Programming Languages, Oslo, Norway, 2004

The Human Language Interface (abstract, slides (ppt))
3a Semana de Computacion en Ciencias Mexico City, 2003

From POPL to the Classroom and Back (abstract, slides (ppt))
Keynote: Symposium on the Principles of Programming Languages, Portland, OR, 2002

Programming Interactive Scripts for the Web (abstract, slides (ppt))

Program Analyses: A Consumer's Perspective (abstract, slides (ppt))
Keynote: Static Analysis Symposium, Santa Barbara, CA, July 2000

last updated on Sat Jan 6 15:14:22 EST 2018generated with Racket