Guillaume Duboc
Identifiers
- name variant Guillaume Duboc 0.60 · backfill
Papers (1)
- Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir cs.PL · 2024 · author #2
Mentions
- 2408.14345 #2 · arxiv_oai · confidence 0.70 Guillaume Duboc
Frequent Coauthors
- Giuseppe Castagna 1 shared papers