Johannes Bader
Identifiers
- name variant Johannes Bader 0.60 · backfill
Papers (2)
- Simple Types for Polymorphic Functions cs.LO · 2026 · author #2
- Getafix: Learning to Fix Bugs Automatically cs.SE · 2019 · author #1
Mentions
- 1902.06111 #1 · arxiv_oai · confidence 0.70 Johannes Bader
Frequent Coauthors
- Andrew Scott 1 shared papers
- Barry Jay 1 shared papers
- Michael Pradel 1 shared papers
- Satish Chandra 1 shared papers