Jack Hughes
Scholar

Jack Hughes

Google Scholar ID: 0JsPmm4AAAAJ
Research Associate, University of Kent
Programming LanguagesProgram synthesisType theoryLinear logicCompilers
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
33
 
H-index
4
 
i10-index
2
 
Publications
6
 
Co-authors
2
list available
Contact
No contact links provided.
Publications
6 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
2 total
Dominic Orchard
Dominic Orchard
School of Computing, University of Kent and Computer Laboratory, University of Cambridge
Danielle Marshall
Danielle Marshall
Research Associate, University of Glasgow