The design and implementation of a soft-typing system for Erlang
ASTEC, Uppsala University
Since Erlang is dynamically typed, an Erlang program contains no
explicit type information. A static type discipline has some important
advantages. It helps the programmer to detect many program errors
before running the program, and provides information that can be used
in compiler optimizations.
I present a soft-typing system for Erlang. The type system is based on
the use of flow analysis (instead of type inference) which makes the
system relatively simple and flexible. The system allows recursive
types, parameterized types and union types, and will discover any
potential type error, but places no restrictions on the set of 'legal'
Place: Information technology, Uppsala University
Time: 15.15-16.00 (+ discussions)
Room 1113 is in building 1, floor 1, room 13
(in the southern part of the building).
Help on how to find ASTEC Seminars.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 16.00.
Everyone is welcome !
Updated 09-Jan-2002 14:33 by Roland Grönroos
e-mail: info -at- astec.uu.se