User:Ruud Koot: Difference between revisions
Content added Content deleted
(Aliasing) |
|||
| Line 17: | Line 17: | ||
* [[Aliasing]] |
* [[Aliasing]] |
||
* [[Ad-hoc polymorphism]] ([[function overloading]]) |
* [[Ad-hoc polymorphism]] ([[function overloading]]) |
||
* [[Bounded quantification]] |
|||
* [[Parametric polymorphism]] |
* [[Parametric polymorphism]] |
||
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
* [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) |
||
Revision as of 15:11, 19 May 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 |