Jasmin Christian Blanchette

Identifiers

• name variant Jasmin Christian Blanchette 0.60 · backfill

Papers (3)

1. Encoding Monomorphic and Polymorphic Types cs.LO · 2016 · author #1
2. Proceedings First International Workshop on Hammers for Type Theories cs.LO · 2016 · author #1
3. 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