🚀 go-pugleaf

University of Colorado at Boulder
Department of Computer Science
ECOT 717 Engineering Center
Campus Box 430
Boulder, Colorado 803090430
(303) 4927514, FAX: (303) 4922844

CS COLLOQUIUM
Programming with Types
Stephanie Weirich
Cornell University
NOTE:  Date, Time & Location Change

April 16, 2002
10:00-11:00 AM
Clark Conference Room ECAD 100

Refreshments will be served afterwards in the Clark Conference Room ECAD 100

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.


Host:  John Bennett
------------------------------
http://www.cs.colorado.edu/department/events/colloquia/colloquia.html

Sign Language Interpreters Available Upon Request.  Please contact Jane 
Obrecht, Department of
Computer Science, Engineering  ECOT 722, 303-492-6101, at least five days 
prior to the colloquium.

_______________________________________________
cscolloq mailing list
cscolloq@cs.colorado.edu
http://www.cs.colorado.edu/mailman/listinfo/cscolloq