Consistently ranked one of the nation's top computer science programs, UT Computer Science supplies the people and ideas shaping the digital frontier.| www.cs.utexas.edu
(photo ©2002 Hamilton Richards)| www.cs.utexas.edu
Lecture 6: Lambda Calculus| www.cs.utexas.edu
On the foolishness of "natural language programming".| www.cs.utexas.edu
Lecture 8: Polymorphism and System F| www.cs.utexas.edu
The Humble Programmer| www.cs.utexas.edu