David Hopkins

Identifiers

• name variant David Hopkins 0.60 · backfill

Papers (1)

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