User:Ruud Koot
| 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
- 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
- Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg and Brent Yorgey. Software Foundations. University of Pennsylvania, Department of Computer and Information Science.