User:Ruud Koot: Difference between revisions
Content added Content deleted
(→External links: g+) |
|||
Line 27:
== External links ==
* [[wp:User:Ruud Koot|Wikipedia user page]]
* [https://plus.google.com/118058128046861245666?rel=author Google+]
|
Revision as of 20:38, 4 October 2012
My Favorite Languages | |
Language | Proficiency |
x86 Assembly | some |
C | yes |
Java | yes |
Python | some |
Haskell | yes |
Agda | learning |
Coq | learning |
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 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).
Todo
- Aliasing
- Ad-hoc polymorphism (function overloading)
- Bounded quantification
- Non-local variable
- Parametric polymorphism
- Subtype polymorphism (inclusion polymorphism, subtyping)
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.