Area 51 » Anton Golov

172
reputation
9 views
discussion user
network profile

Registered User

name Anton Golov
member for 3 years
seen yesterday
website
location Netherlands
age

I'm a student of mathematics and computer science at Utrecht University, currently fascinated by type theory and everything related to it. I started learning C++ in 2008, and have since then also picked up Python, C#, and Haskell. I'd like to learn Agda or Idris soon.

Apart from that, I play go (less often than I'd like), try to learn Lojban (with less success than I'd like), and am a member of Biton.

I am also known as jesyspa elsewhere on the net.

0

Proposals


1

Current Commitment

170
committed

Programming Language Theory

For people who wish to influence and foster interest, in the development of new programming languages. For programming language theory enthusiasts and computer science students who wish to learn more about the subject or have their doubts elucidated.
define
commit
beta

0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast