Поиск в словарях
System f
polymorphic lambda-calculus