Home » user account

comitative

Personal information


Russian Federation

male

Formal Semantics, Program Analysis, Program Transformation, Type Theory, Functional Programming, Logic Programming

History


22 years 19 weeks