Scholar
Jack Hughes
Google Scholar ID: 0JsPmm4AAAAJ
Research Associate, University of Kent
Programming Languages
Program synthesis
Type theory
Linear logic
Compilers
Follow
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
School of Computing, University of Kent and Computer Laboratory, University of Cambridge
Danielle Marshall
Research Associate, University of Glasgow
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up