User:Ruud Koot: Difference between revisions
Content added Content deleted
m (typo) |
(recommended reading) |
||
| Line 20: | Line 20: | ||
* [[Parametric polymorphism]] |
* [[Parametric polymorphism]] |
||
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
||
== 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 == |
== External links == |
||
Revision as of 03:14, 14 September 2011
| 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
- 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.