12 results
Runtime verification and validation of functional reactive systems
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 26 August 2020, e28
-
- Article
-
- You have access
- Export citation
Extracting Local Quantitative Atomic-resolution Strain Information from High-precision STEM Data of Supported Nanocatalysts
-
- Journal:
- Microscopy and Microanalysis / Volume 24 / Issue S1 / August 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 52-53
- Print publication:
- August 2018
-
- Article
-
- You have access
- Export citation
Economic Analysis and Investment Priorities in Sweden’s Transport Sector
-
- Journal:
- Journal of Benefit-Cost Analysis / Volume 9 / Issue 1 / Spring 2018
- Published online by Cambridge University Press:
- 22 March 2018, pp. 120-146
-
- Article
- Export citation
10 - Mental health and international crimes
-
-
- Book:
- Criminological Approaches to International Criminal Law
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 263-286
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- Criminological Approaches to International Criminal Law
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp ix-xiv
-
- Chapter
- Export citation
Special Issue Dedicated to ICFP 2008 Editorial
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 16 March 2011, pp. 415-416
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
Algorithmic debugging for lazy functional languages1
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 3 / July 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 337-369
-
- Article
-
- You have access
- Export citation
SKIN DISEASES CAUSED BY ULTRAVIOLET RADIATION: THE COST OF ILLNESS
-
- Journal:
- International Journal of Technology Assessment in Health Care / Volume 19 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 21 April 2004, pp. 724-730
-
- Article
- Export citation
Agency Costs of Controlling Minority Shareholders
-
- Journal:
- Journal of Financial and Quantitative Analysis / Volume 38 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 06 April 2009, pp. 695-719
- Print publication:
- December 2003
-
- Article
- Export citation
Phylogeography of Hyphoderma setigerum (Basidiomycota) in the Northern Hemisphere
-
- Journal:
- Mycological Research / Volume 107 / Issue 6 / June 2003
- Published online by Cambridge University Press:
- 01 August 2003, pp. 645-652
- Print publication:
- June 2003
-
- Article
- Export citation
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 629-671
-
- Article
-
- You have access
- Export citation