Contributions offered by Mads Tofte for topics 
G (types and type inference in programming)

Using Polymorphic Type Inference to Solve Year 2000 Problems
in OS/VS COBOL.

It describes work which a group of us from DIKU have been working on
for the past year. The group, which is now a start-up company called
Hafnium, consists of Fritz Henglein, Christian Mossin, Peter Harry
Eidorf, Morten Heine Soerensen, Henning Niss, and myself. The tool we
have developed is called AnnoDomini