Personal Information
Organization / Workplace
Saint Petersburg Russian Federation
Occupation
Researcher in programming languages and formal methods
Industry
Technology / Software / Internet
Website
Contact Details
Tags
fp
functional programming
denotational semantics
static analysis
programming
strictness
program optimization
haskell
See more
Users being followed by Ilya Sergey