James Margetson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Extensible pattern matching via a lightweight language extension Proceedings of the 12th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Measure transformer semantics for Bayesian machine learning Logical Methods in Computer Science	2013-09-26	Paper
Measure transformer semantics for Bayesian machine learning Programming Languages and Systems	2011-05-19	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2006-07-06	Paper
Rolling contact of a rigid cylinder over a smooth elastic or viscoelastic layer Acta Mechanica	1972-01-01	Paper
Rolling contact of a smooth viscoelastic strip between rotating rigid cylinders International Journal of Mechanical Sciences	1971-01-01	Paper
Circular inclusion in a viscoelastic plate subjected to uniaxial tension International Journal of Engineering Science	1971-01-01	Paper
Separation of smooth circular inclusions from elastic and viscoelastic plates subjected to uniaxial tension Journal of the Mechanics and Physics of Solids	1970-01-01	Paper
The indentation of elastic and viscoelastic strips by rigid or elastic cylinders ZAMP. Zeitschrift für angewandte Mathematik und Physik	1970-01-01	Paper
A Simplified Procedure for Singular Integral Equations with Logarithmic Kernels IMA Journal of Applied Mathematics	1970-01-01	Paper

Research outcomes over time

This page was built for person: James Margetson