James Margetson

According to our database, James Margetson authored at least 4 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Measure Transformer Semantics for Bayesian Machine Learning.

Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael

Log. Methods Comput. Sci., 2013

2007

Extensible pattern matching via a lightweight language extension.

Don Syme, Gregory Neverov, James Margetson

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2005

A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.

Tom Ridge, James Margetson

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2004

Completeness theorem.

James Margetson, Tom Ridge

Arch. Formal Proofs, 2004