International Workshop on Types in Languages Design and Implementation (3 : 2007 : Nizza) Bezüge im Wissensnetz Veranstaltungsort (1) GND Nizza