comitative | Lambda the Ultimate

comitative

view
track

Personal information

Country:
Russian Federation

Gender:
male

Interests:

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

History

Member for:
21 years 46 weeks