contributions offered by Giorgio Ghelli for topics
A (semantics for object-oriented programming),
B (program structuring),
G (types and type inference in programming)

Theme A-G: I would like to present a talk on 'A model of objects with roles'
I may otherwise present work in progress about `Subtype-checking
for kernel-fun with recursion' (theme G), or about 'The module system
of language Fibonacci' (theme B). One out of three would be my
best choice, but I'm ready to any other solution (no talk included,
if the meeting is too crowded).

---------------------------------------------------------------------------
Result of feedback form submitted by
Ghelli (ghelli@di.unipi.it) on Thursday, August 20, 1998 at 16:19:51