User:Ruud Koot: Difference between revisions

Content added Content deleted

Inline

Latest revision as of 19:25, 9 December 2014

My Favorite Languages
Language	Proficiency
x86 Assembly	some
C	yes
Java	yes
Python	some
Haskell	yes
Agda	some
Coq	some
Prolog	some
OBJ	to do
Mathematica	some

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 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

External links

@@ Line 1: / Line 1: @@
-[[wp:User:Ruud Koot|Wikipedia]]
 {{mylangbegin}}
 {{mylang|x86 Assembly|some}}
@@ Line 7: / Line 5: @@
 {{mylang|Python|some}}
 {{mylang|Haskell|yes}}
-{{mylang|Agda|learning}}
+{{mylang|Agda|some}}
-{{mylang|Coq|learning}}
+{{mylang|Coq|some}}
 {{mylang|Prolog|some}}
 {{mylang|OBJ|to do}}
 {{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 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]], [[&lambda;-calculus]]).
+== Todo ==
+* [[Aliasing]]
+* [[Ad-hoc polymorphism]] ([[function overloading]])
+* [[Bounded quantification]]
+* [[Currying]] ([[Partial function application#Proposal for new task description]])
+* [[Non-local variable]]
+* [[Parametric polymorphism]]
+* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]])
+* [[Shadowing]]
+== Recommended reading ==
+* [[wp:Benjamin C. Pierce|Benjamin C. Pierce]], Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg and Brent Yorgey. [http://www.cis.upenn.edu/~bcpierce/sf/ ''Software Foundations'']. University of Pennsylvania, Department of Computer and Information Science.
+== External links ==
+* [https://ruudkoot.nl/ Personal home page]
+* [[wp:User:Ruud Koot|Wikipedia user page]]
+* [https://plus.google.com/118058128046861245666?rel=author Google+]