User:Ruud Koot: Difference between revisions
Content added Content deleted
(c/e) |
|||
Line 12: | Line 12: | ||
{{mylangend}} |
{{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 languages, but my main |
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 languages, but my main interests are strongly typed functional languages ([[Haskell]], [[ML]], [[Clean]]), dependently typed languages ([[Agda]], [[Epigram]]) and proof assistants ([[Coq]], [[Isabelle]]), as well as low-level languages ([[assembly]], [[λ-calculus]]). |
||
== Todo == |
== Todo == |
||
Line 28: | Line 28: | ||
== External links == |
== External links == |
||
* [https://ruudkoot.nl/ Personal home page] |
|||
* [[wp:User:Ruud Koot|Wikipedia user page]] |
* [[wp:User:Ruud Koot|Wikipedia user page]] |
||
* [https://plus.google.com/118058128046861245666?rel=author Google+] |
* [https://plus.google.com/118058128046861245666?rel=author Google+] |