User:Ruud Koot: Difference between revisions

← Older edit

User:Ruud Koot (view source)

Revision as of 19:25, 9 December 2014

1,433 bytes added , 9 years ago

no edit summary

Anonymous user

rosettacode>Ruud Koot

Revision as of 19:34, 20 April 2011 (view source) rosettacode>Ruud Koot No edit summary ← Older edit		Latest revision as of 19:25, 9 December 2014 (view source) rosettacode>Ruud Koot No edit summary
(12 intermediate revisions by the same user not shown)
Line 1: [[wp:User:Ruud Koot\|Wikipedia]]▼ {{mylangbegin}} {{mylang\|x86 Assembly\|some}} Line 7 ⟶ 5: {{mylang\|Python\|some}} {{mylang\|Haskell\|yes}} {{mylang\|Agda\|~~learning~~some}} {{mylang\|Coq\|~~learning~~some}} {{mylang\|Prolog\|some}} {{mylang\|OBJ\|to do}} {{mylang\|Mathematica\|some}} {{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 interests are strongly typed functional 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]] * [[Currying]] ([[Partial function application#Proposal for new task description]]) * [[Non-local variable]] * [[Parametric polymorphism]] * [[Subtype polymorphism]] ([[inclusion polymorphism]], [[subtyping]]) * [[Shadowing]] == 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 == * [https://ruudkoot.nl/ Personal home page] ▲* [[wp:User:Ruud Koot\|Wikipedia user page]] * [https://plus.google.com/118058128046861245666?rel=author Google+]