| PLT |
| NU PLT |
| NU PRL |
| Books |
| HtDP |
| HtDP + |
| TeachScheme! |
| Research |
| Papers |
| Essays |
| Presentations |
| JFP Edu Pearls |
| Teaching |
| Coordinates |
| Miscellaneous |
| Resources |
| Family |
| Home |
Teaching @ NU
| Fall 2008 | 107 | Program Design Paradigms |
| Spring 2007 | 670 | Software Construction |
| Fall 2006 | 211 | Principles of Computing and Programming |
| Fall 2005 | 711 | Principles of Programming Languages (PhD) |
| Fall 2005 | 211 | Principles of Computing and Programming |
| Spring 2005 | 670 | Software Construction |
| Fall 2004 | 211 | Principles of Computing and Programming |
| Spring 2004 | 369 | History of Programming Languages |
| Fall 2003 | 211 | Principles of Computing and Programming |
| Spring 2003 | 1205 | Software Design and Development |
| Fall 2002 | 1100 | Principles of Computing and Programming |
| Spring 2002 | 1205 | Software Design and Development |
| Winter 2002 | 3810 | Topics in Programming Languages: Type Theory |
| Fall 2001 | 1358 | Principles of Programming Languages |