User:Ruud Koot

From Rosetta Code
Jump to: navigation, search
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).

[edit] Todo

[edit] 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.

[edit] External links

Personal tools
Namespaces

Variants
Actions
Community
Explore
Misc
Toolbox