6 results
Cogent: uniqueness types and certifying compilation
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 27 October 2021, e25
-
- Article
-
- You have access
- Open access
- Export citation
Ott: Effective tool support for the working semanticist
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. 71-122
-
- Article
-
- You have access
- Export citation
Monte Carlo Simulations of Crystalline TATB
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 418 / 1995
- Published online by Cambridge University Press:
- 10 February 2011, 67
- Print publication:
- 1995
-
- Article
- Export citation
Antimicrobial Therapy for Methicillin-Resistant Staphylococcus aureus Colonization in Residents andStaff of a Veterans Affairs Nursing Home Care Unit
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 13 / Issue 3 / March 1992
- Published online by Cambridge University Press:
- 21 June 2016, pp. 151-159
- Print publication:
- March 1992
-
- Article
- Export citation
Methicillin-Resistant Staphylococcus aureus in Extended-Care Facilities: Experiences in a Veterans Affairs Nursing Home and a Review of the Literature
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 12 / Issue 1 / January 1991
- Published online by Cambridge University Press:
- 21 June 2016, pp. 36-45
- Print publication:
- January 1991
-
- Article
- Export citation
Observations Relating to an Inter-Hospital Outbreak of Methicillin-Resistant Staphylococcus aureus: Role of Antimicrobial Therapy in Infection Control
-
- Journal:
- Infection Control / Volume 2 / Issue 6 / December 1981
- Published online by Cambridge University Press:
- 02 January 2015, pp. 453-459
- Print publication:
- December 1981
-
- Article
- Export citation