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

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