Christian Rinderknecht

Advanced

@rinderknecht

I am a senior compiler engineer with a PhD from UPMC and INRIA (France) in formal methods and compiler construction. I program mostly in OCaml. I play the cello

Design. Design and Analysis of Purely Functional Programs

Tree-traversals. Preorder and postorder tree traversals

Mini-ML. An interpreter for a Mini-ML.

Music. Music scores typeset with Lilypond

Lectures. TeX

OldLIGO. OCaml

Talks. Talks I have given.

Erlang. Erlang-related development

OCaml-build. A GNU Makefile to build simple OCaml applications

views searches