Understanding our future through Open Access research about our past...

Strathprints makes available scholarly Open Access content by researchers in History, based within the School of Humanities. This include the Centre for the Social History of Health & Healthcare (CSHHH), considered Scotland's leading centre for the history of health and medicine.

Research at CSHHH explores the modern world since 1800 in locations as diverse as the UK, Asia, Africa, North America, and Europe. Areas of specialism include contraception and sexuality; family health and medical services; occupational health and medicine; disability; the history of psychiatry; conflict and warfare; and, drugs, pharmaceuticals and intoxicants.

Explore the Open Access research of the Centre for the Social History of Health and Healthcare. Or explore all of Strathclyde's Open Access research...

Image: Louis Théophile Binot entouré de patients et infirmières - 1915 | CC BY-SA.

Strathprints

Browse by Author or creator

Up a level

Group by: Publication Date | Item type | No Grouping

Jump to: 2021 | 2019 | 2018 | 2017 | 2014

Number of items: 5.

2021

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2021) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Journal of Functional Programming, 31. e22. ISSN 0956-7968

2019

Allais, Guillaume; Darais, David and Gibbons, Jeremy, eds. (2019) Generic level polymorphic N-ary functions. In: TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2019. ACM, New York, NY, DEU, pp. 14-26. ISBN 9781450368155

2018

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Proceedings of the ACM on Programming Languages (PACMPL), 2 (ICFP). pp. 1-30. 90. ISSN 2475-1421

2017

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James; Bertot, Yves and Vafeiadis, Viktor, eds. (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, FRA. ISBN 9781450347051

2014

Bertot, Yves and Allais, Guillaume (2014) Views of pi : definition and computation. Journal of Formalized Reasoning, 7 (1). pp. 105-129. ISSN 1972-5787

This list was generated on Sat Oct 1 02:37:16 2022 BST.