Browse by Author or creator

Article

Wood, James and Atkey, Robert (2021) A linear algebra approach to linear metatheory. Electronic Proceedings in Theoretical Computer Science, EPTCS, 354 (2021). pp. 195-212. ISSN 2075-2180

Hussein, A. E. and Senabulya, N. and Ma, Y. and Streeter, M. J. V. and Kettle, B. and Dann, S. J. D. and Albert, F. and Bourgeois, N. and Cipiccia, S. and Cole, J. M. and Finlay, O. and Gerstmayr, E. and González, I. Gallardo and Higginbotham, A. and Jaroszynski, D. A. and Falk, K. and Krushelnick, K. and Lemos, N. and Lopes, N. C. and Lumsdon, C. and Lundh, O. and Mangles, S. P. D. and Najmudin, Z. and Rajeev, P. P. and Schlepütz, C. M. and Shahzad, M. and Smid, M. and Spesyvtsev, R. and Symes, D. R. and Vieux, G. and Willingale, L. and Wood, J. C. and Shahani, A. J. and Thomas, A. G. R. (2019) Laser-wakefield accelerators for high-resolution X-ray imaging of complex microstructures. Scientific Reports, 9. 3249. ISSN 2045-2322

Book Section

Wood, James and Atkey, Robert; (2022) A framework for substructural type systems. In: ESOP 2022 Proceedings. Lecture Notes in Computer Science . Springer, DEU.

Conference or Workshop Item

Atkey, Bob and Wood, James (2018) Context constrained computation. In: 3rd Workshop on Type-Driven Development (TyDe '18), 2018-09-27 - 2018-09-27.