PanLinx
français
fra-000
inférence de types
English
eng-000
type inference
PanLex