User:Ruud Koot: Difference between revisions
Content added Content deleted
(Aliasing) |
|||
Line 17:
* [[Aliasing]]
* [[Ad-hoc polymorphism]] ([[function overloading]])
* [[Bounded quantification]]
* [[Parametric polymorphism]]
* [[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 |