101 reputation
1

Mikhail Glushenkov

programming languages; functional programming; types; compiler construction.