Jeremy Yallop
Scholar

Jeremy Yallop

Google Scholar ID: NIk5CuwAAAAJ
University of Cambridge
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,283
 
H-index
16
 
i10-index
20
 
Publications
20
 
Co-authors
27
list available
Publications
1 items
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks
Proc. ACM Program. Lang. · 2026
Cited
0
Co-authors
13 total
Sam Lindley
Sam Lindley
The University of Edinburgh
Philip Wadler
Philip Wadler
University of Edinburgh and IOHK/IOG
Anil Madhavapeddy
Anil Madhavapeddy
Professor of Planetary Computing, University of Cambridge
Ningning Xie
Ningning Xie
University of Toronto
Ohad Kammar
Ohad Kammar
University of Edinburgh School of Informatics
KC Sivaramakrishnan
KC Sivaramakrishnan
IIT Madras / Tarides
Robert Atkey
Robert Atkey
University of Strathclyde
Meng Wang
Meng Wang
Professor of Programming Languages, University of Bristol