DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Type Relation Management

Erik Ernst
Aarhus University
Department of Computer Science

Thursday, January 8th, 15:15-16:00
ITU, Glentevej 67, room 2.03

Abstract:

When calling the Standard ML library function List.map as in 'map f xs', it must be established that f is a function and xs is a list such that the function argument type and the list element type are identical. In other words, type analysis must establish a certain relation between the types. This talk presents a number of scenarios where relations between types must be established, touching upon functional languages as above, but predominantly focusing on object-oriented languages. Among the topics will be F-bounded polymorphism, type repository objects, and wildcards in the Java programming language.

Scientific host: Kasper Østerbye. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org