Collaboration

Continent : 
Équipes concernées : 
Institutions partenaires : 
Nom du responsable LIG : 
Alan Schmitt
Descriptif : 

Bidirectional languages, type systems