Rodolphe Lepigre
Identifiers
- name variant Rodolphe Lepigre 0.50 · backfill
Papers (1)
- Unboxing Mutually Recursive Type Definitions in OCaml cs.PL · 2018 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Gabriel Scherer 1 shared papers
- Simon Colin 1 shared papers