Find Research Data

Search in all content

Filters for Datasets

Search concepts
Selected filters

Gradiometry paper figure data

Robertson, B. I. (Creator), Griffin, P. (Creator), MacKellar, A. R. (Creator), Halket, J. (Creator), Gribbon, A. (Creator), Arnold, A. (Creator), Pritchard, J. (Creator), Riis, E. (Creator), University of Strathclyde, 28 Jul 2017

Dataset

Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"

Allais, G. (Creator), Atkey, B. (Creator), Chapman, J. (Creator), McBride, C. (Creator), McKinna, J. (Creator), Association for Computing Machinery (ACM), 23 Aug 2018

Dataset