User:Ruud Koot: Difference between revisions

Content added Content deleted

Inline

Revision as of 02:58, 14 September 2011

I'm a computer scientist interested in programming language theory (from type theory to compiler construction). I have experience with various mainstream (C++, Java, Python) and non-mainstream (Prolog, CLIPS, Mathematica) programming languages, 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).

@@ Line 12: / 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 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]], [[&lambda;-calculus]]).
+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 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]], [[&lambda;-calculus]]).
 == Todo ==