Evgeniy
111
reputation
Scope of interests: Functional programming, Programming language semantics, Formal verification, Systems design