Anonymous user
User:Ruud Koot: Difference between revisions
bio
(bio) |
|||
Line 1:
[[wp:User:Ruud Koot|Wikipedia]]▼
{{mylangbegin}}
{{mylang|x86 Assembly|some}}
Line 13 ⟶ 11:
{{mylang|Mathematica|some}}
{{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 language, but my main interest lies in strongly-typed functional programming languages ([[Haskell]], [[ML]], [[Clean]]), dependently-typed languages ([[Agda]], [[Epigram]]) and proof assistants ([[Coq]], [[Isabelle]]), as well as low-level languages ([[assembly]], [[λ-calculus]]).
== Todo ==
Line 20:
* [[Parametric polymorphism]]
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]])
== External links ==
▲* [[wp:User:Ruud Koot|Wikipedia user page]]
|