Jasmin Christian Blanchette
Identifiers
- name variant Jasmin Christian Blanchette 0.60 · backfill
Papers (3)
- Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #1
- Proceedings First International Workshop on Hammers for Type Theories cs.LO · 2016 · author #1
- Foundational Extensible Corecursion cs.PL · 2015 · author #1
Mentions
- 1501.05425 #1 · backfill · confidence 0.70 Jasmin Christian Blanchette
Frequent Coauthors
- Andrei Popescu 2 shared papers
- Cezary Kaliszyk 1 shared papers
- Dmitriy Traytel 1 shared papers
- Nicholas Smallbone 1 shared papers
- Sascha B\"ohme 1 shared papers