UWTV Program: Computer Science Programming Languages

Search:

Search for information by:

Note: Selected programs are available for streaming download per agreement with the original media source.

Sponsored by:

Computer Science Programming Languages

	A core goal of computer science is to develop methods for building reliable and maintainable programs. Robert Harper reviews some exciting new developments in language research, such as the emergence of type theory—the study of type systems—as the grand unified theory of programming languages, encompassing both language design and implementation.



	* Help?


Series Title:	CSE Colloquia - 2002
Subject(s):	Engineering and Computer Science
Speaker(s):	Robert Harper, Carnegie Mellon University
Related Link(s):	CSE web site
Production Date:	10/31/2002
Runtime:	00:57:39
Rating:	TV-G

Support for UWTV is provided by:

San Jose State @ UW
Watch 9/3 at 8 p.m.
Original Game: 11/16/96

Kansas State @ UW
Watch 9/6 at 7 p.m.
Original Game: 9/28/91

Email us with comments or questions or call 888-616-UWTV