User:Ruud Koot: Difference between revisions
(recommended reading) |
No edit summary |
||
(5 intermediate revisions by the same user not shown) | |||
Line 5: | Line 5: | ||
{{mylang|Python|some}} |
{{mylang|Python|some}} |
||
{{mylang|Haskell|yes}} |
{{mylang|Haskell|yes}} |
||
{{mylang|Agda| |
{{mylang|Agda|some}} |
||
{{mylang|Coq| |
{{mylang|Coq|some}} |
||
{{mylang|Prolog|some}} |
{{mylang|Prolog|some}} |
||
{{mylang|OBJ|to do}} |
{{mylang|OBJ|to do}} |
||
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 18: | Line 18: | ||
* [[Ad-hoc polymorphism]] ([[function overloading]]) |
* [[Ad-hoc polymorphism]] ([[function overloading]]) |
||
* [[Bounded quantification]] |
* [[Bounded quantification]] |
||
* [[Currying]] ([[Partial function application#Proposal for new task description]]) |
|||
* [[Non-local variable]] |
|||
* [[Parametric polymorphism]] |
* [[Parametric polymorphism]] |
||
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
||
* [[Shadowing]] |
|||
== Recommended reading == |
== Recommended reading == |
||
Line 25: | 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+] |
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
Recommended reading
- Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg and Brent Yorgey. Software Foundations. University of Pennsylvania, Department of Computer and Information Science.