James Margetson

	2007
2		Don Syme, Gregory Neverov, James Margetson: Extensible pattern matching via a lightweight language extension. ICFP 2007: 29-40
	2005
1		Tom Ridge, James Margetson: A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs 2005: 294-309

Coauthor Index

1	Gregory Neverov	[2]
2	Tom Ridge (Thomas Ridge)	[1]
3	Don Syme	[2]

Colors in the list of coauthors