Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "James Margetson" ( http://dblp.L3S.de/Authors/James_Margetson )

  Author page on DBLP  Author page in RDF  Community of James Margetson in ASPL-2

Publication years (Num. hits)
2004 (1) 2005 (1) 2007 (1) 2011 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
Archive of Formal Proofs(1) ESOP(1) ICFP(1) TPHOLs(1)
Authors
James Margetson(4) Tom Ridge(2) Andrew D. Gordon(1) Don Syme(1) Gregory Neverov(1) Johannes Borgström(1) Jurgen Van Gael(1) Michael Greenberg(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael Measure Transformer Semantics for Bayesian Machine Learning. Search on Bibsonomy ESOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Don Syme, Gregory Neverov, James Margetson Extensible pattern matching via a lightweight language extension. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF F#, functional programming, pattern matching, ML
1Tom Ridge, James Margetson A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1James Margetson, Tom Ridge Completeness theorem. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.