David Hopkins
Identifiers
- name variant David Hopkins 0.60 · backfill
Papers (1)
- Fragments of ML Decidable by Nested Data Class Memory Automata cs.PL · 2015 · author #2
Mentions
- 1501.04511 #2 · backfill · confidence 0.70 David Hopkins
Frequent Coauthors
- Andrzej S. Murawski 1 shared papers
- C.-H. Luke Ong 1 shared papers
- Conrad Cotton-Barratt 1 shared papers