Valentin Aebi

Identifiers

• name variant Valentin Aebi 0.60 · backfill

Papers (1)

1. Practical Range Refinement Types with Inference cs.PL · 2026 · author #1

Mentions

• 2607.00824 #1 · arxiv_oai · confidence 0.70 Valentin Aebi

Frequent Coauthors

• Carlo A. Furia 1 shared papers