PanLinx
Deutsch
deu-000
Typinferenz
Deutsch
deu-000
Typableitung
English
eng-000
type inference
PanLex
