I'm working on modernizing Rosetta Code's infrastructure. Starting with communications. Please accept this time-limited open invite to RC's Slack.. --Michael Mol (talk) 20:59, 30 May 2020 (UTC)

User:Ruud Koot

From Rosetta Code
My Favorite Languages
Language Proficiency
x86 Assembly some
C yes
Java yes
Python some
Haskell yes
Agda some
Coq some
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 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).


Recommended reading[edit]

  • Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg and Brent Yorgey. Software Foundations. University of Pennsylvania, Department of Computer and Information Science.

External links[edit]