James Cheney - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Registered user since Fri 6 Mar 2015

Name:James Cheney

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website: http://homepages.inf.ed.ac.uk/jcheney/

Contributions

2025

POPL

Committee Member in Program Committee within the POPL-track

CPP

Nominal Matching Logic With Fixpoints

Show activities from other conferences

POPL 2025-profile
View general profile

	
		OSZAR »