skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · colloquia · 2001-2002 · 

Colloquium - Weirich


Programming with Types
Department of Computer Science, Cornell University
Stephanie Weirich photo

Run-time type analysis is an increasingly important linguistic mechanism in modern programming languages. In language runtime systems, it is used to implement services such as accurate garbage collection, serialization, cloning and structural equality. Component frameworks rely on it to provide reflection mechanisms in order to discover and interact with program interfaces at run-time. This ability is also crucial in the design of large, distributed systems that must be flexible and robust enough to support frequent updates of new code and of new forms of data.

However, existing language support for run-time type analysis was designed for simple type systems and does not scale well to the sophisticated type systems of modern and next-generation programming languages. These languages include complex type constructs such as first-class abstract types, recursive types, and objects, as well as a compile-time language to describe type parameterization. In this talk, I will show how the idea of interpreting that compile-time language at run time yields an expressive and elegant mechanism for describing type-directed operations.

Hosted by John Bennett.
Refreshments will be served afterwards.

The Department holds colloquia throughout the Fall and Spring semesters. These colloquia, open to the public, are typically held on Thursday afternoons, but sometimes occur at other times as well. If you would like to receive email notification of upcoming colloquia, subscribe to our Colloquia Mailing List. If you would like to schedule a colloquium, see Colloquium Scheduling.

Sign language interpreters are available upon request. Please contact Stephanie Morris at least five days prior to the colloquium.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:29)