Find Research Data

Search concepts
Selected filters

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

CLD Inversion Software

Agimelen, O. S. (Creator), University of Strathclyde, 6 Mar 2018

Dataset

Christoffel equation via MATLAB

Paterson, D. A. P. (Creator), University of Strathclyde, 30 May 2018

Dataset

Chirped pulse Raman amplification in warm plasma: towards controlling saturation

Vieux, G. (Creator), Yang, X. (Creator), Brunetti, E. (Creator), Wiggins, S. M. (Creator), Welsh, G. (Creator), University of Strathclyde, 16 Jul 2015

Dataset

Chemical Workers oral history project

Walker, D. (Creator), University of Strathclyde, 16 Sep 2016

Dataset

Challenges of Dosimetry of Ultra-Short Pulsed Very High Energy Electron Beams

Welsh, G. H. (Creator), Subiel, A. (Creator), University of Strathclyde, 1 May 2017

Dataset

Cavity-enhanced frequency up-conversion in rubidium vapour

Offer, R. F. (Creator), Arnold, A. (Creator), University of Strathclyde, 12 Apr 2016

Dataset

Cathodoluminescence and wavelength-dispersive X-ray measurements of InAlGaN

Kusch, G. (Creator), Spasevski, L. (Creator), Edwards, P. (Creator), Martin, R. (Creator), University of Strathclyde, 14 Mar 2019

Dataset