Anonymous user
User:Ruud Koot: Difference between revisions
no edit summary
(recommended reading) |
No edit summary |
||
(5 intermediate revisions by the same user not shown) | |||
Line 5:
{{mylang|Python|some}}
{{mylang|Haskell|yes}}
{{mylang|Agda|
{{mylang|Coq|
{{mylang|Prolog|some}}
{{mylang|OBJ|to do}}
Line 12:
{{mylangend}}
I'm a [[wp:Computer science|computer scientist]] interested in [[wp:programming language theory|programming language theory]] (from [[wp:type theory|type theory]] to [[wp:compiler construction|compiler construction]]). I have experience with various mainstream ([[C++]], [[Java]], [[Python]]) and non-mainstream ([[Prolog]], [[CLIPS]], [[Mathematica]]) programming languages, but my main
== Todo ==
Line 18:
* [[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 ==
Line 25 ⟶ 28:
== External links ==
* [https://ruudkoot.nl/ Personal home page]
* [[wp:User:Ruud Koot|Wikipedia user page]]
* [https://plus.google.com/118058128046861245666?rel=author Google+]
|