Evgeniy

111
reputation
2

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