Statistics
Publications
83
Citations
5.9K
H-Index
35
Active since
1976
Affiliations
James Cheney is an author at University of Edinburgh specializing in computing, computer science, and programming languages.
Publications per year
1976–2025
83
83
Trevor Jim, J. Greg Morrisett, Dan Grossman et al. · 2002 · 618 citations
Region-based memory management in cyclone
Dan Grossman, Greg Morrisett, Trevor Jim et al. · 2002 · 407 citations
A sequent calculus for nominal logic
Murdoch J. Gabbay, James Cheney · 2004 · 306 citations
Provenance management in curated databases
Peter Buneman, Adriane Chapman, James Cheney · 2006 · 297 citations · Full text
1–5 of 83