PLT
Program by Design
NU PLT
NU PRL
 
Books
  HtDP
  HtDP/2e
  On HtDP
  HtDC
  Sem. Eng.
 
Research
  Publications
  Presentations
 
Teaching
Programming
 
Thoughts
Coordinates
Miscellaneous
Resources
Quotes
 
Family
 
Home

Presentations

logo

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 (gs.zip)
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 Sun Oct 5 13:40:07 EDT 2014generated with Racket