Anonymous user
User:Ruud Koot: Difference between revisions
m
typo
(bio) |
m (typo) |
||
Line 12:
{{mylangend}}
I'm a [[wp:Computer science|computer scientist]] interested in [[wp:programming language theory|programming language theory]] (from [[wp:type theory|type theory]] to [[wp:compiler construction|compiler construction]]). I have experience with various mainstream ([[C++]], [[Java]], [[Python]]) and non-mainstream ([[Prolog]], [[CLIPS]], [[Mathematica]]) programming
== Todo ==
|