PanLinx
русский
rus-000
частичный вычислитель
English
eng-000
partial evaluator
PanLex