Find Research outputs

Search results

• Other report

  Heuristics for type error discovery and recovery (revised revised)

  Hage, J. & Heeren, B., 2006, Department of Information and Computing Sciences, Utrecht University. 22 p. (Technical Report Series; no. UU-CS-2006-054)

  Research output: Book/Report › Other report

  Open Access

• HMS Vanguard 100 Survey 2016-2017, Survey Report 2018

  Turton, E., Crofts, D., Fitzsimmons, C., Rowland, C., Hyttinen, K., Kay, S., Smith, J., Anderson, B., Tynkkynen, M., Hatton, K., Porter, J. & Wade, B., 2018, 106 p.

  Research output: Book/Report › Other report

• ICES/IUCN-CEM FEG Workshop on Testing OECM Practices and Strategies (WKTOPS)

  Appiott, J., Morello, E., Campbell, D., Charles, A., Cheilari, A., Christensen, T., Costello, M. J., Diz, D., Dudas, S., Friedman, K., Fuller, S., Garcia, S., Haldin, J., Himes-Cornell, A., Holah, H., Jonas, H., Kell, L., Kenchington, E., Kenny, A., King, M. & 20 others, Koen-Alonso, M., Malagoli, S., Mascorda Cabre, L., Meliane, I., Miller, D., Neat, F., Nikolic, V., Pasquero, J., Patterson, K., Pattinson, D., Petza, D., Rice, J. C., Rykov, O., Sheehan, E., Sheppard, V., Skern-Mauritzen, M., Symons Pirovolidou, D., Valanko, S., Wisz, M. & Wright, P., 2021, 195 p. (ICES Scientific Reports; vol. 3, no. 42)

  Research output: Book/Report › Other report

  Open Access

• Initial findings: fixed-term tenancies in social housing

  Fitzpatrick, S. & Watts, B., Feb 2016, York: University of York. 21 p.

  Research output: Book/Report › Other report

• In-work Poverty and Enterprise: Self-employment and business ownership as contexts of poverty

  Galloway, L., Danson, M., Richards, J., Sang, K. & Stirzaker, R. J., 1 Feb 2016, Edinburgh: Heriot-Watt University. 32 p.

  Research output: Book/Report › Other report

  File
  1060 Downloads (Pure)

• Log-Based Reduction by Rewriting

  Elyasov, A., Prasetya, I. S. W. B. & Hage, J., Sep 2012, Department of Information and Computing Sciences, Utrecht University. 13 p. (Technical Report Series; no. UU-CS-2012-013)

  Research output: Book/Report › Other report

  Open Access

• Measuring technology readiness for investment: accelerating technology development and improving innovation performance

  Adam, G., Andrews, K. P., Armstrong, M., Bititci, U. S., Flinn, P., Jackson, W. J., Mayfield, A., Peters, T., Pfefferkorn, T. & Ritchie, J. M., Apr 2017, 40 p.

  Research output: Book/Report › Other report

• Minimum Unit Pricing: Qualitative Study of the Experiences of Homeless Drinkers, Street Drinkers and Service Providers

  Elliott, L., Emslie, C., Dimova, E., Whiteford, M., O'Brien, R., Strachan, H., Johnsen, S., Rush, R., Smith, I., Stockwell, T. & Whittaker, A., 17 Feb 2022, Edinburgh: Chief Scientist Office. 4 p. (HIPS Briefings)

  Research output: Book/Report › Other report

  Open Access

  File
  56 Downloads (Pure)

• Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming

  Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Middelkoop, A., Rodriguez, A., van Schie, J. & Löh, C., 2007, Department of Information and Computing Sciences, Utrecht University. 13 p. (Technical Report Series; no. UU-CS-2007-029)

  Research output: Book/Report › Other report

  Open Access

• Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming

  Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Middelkoop, A., Rodriguez, A., van Schie, J. & Löh, C., 2007, Department of Information and Computing Sciences, Utrecht University. 23 p. (Technical Report Series; no. UU-CS-2007-027)

  Research output: Book/Report › Other report

  Open Access

• Multiple exclusion homelessness in the UK: an overview of findings: Briefing paper no. 1

  Fitzpatrick, S., Bramley, G. & Johnsen, S., 2012, Edinburgh: Heriot-Watt University. 15 p. (Multiple Exclusion Homelessness in the UK: Briefing Papers)

  Research output: Book/Report › Other report

  Open Access

  File
  462 Downloads (Pure)

• Multiple exclusion homelessness in the UK: ex-service personnel: Briefing paper no. 3

  Johnsen, S. & Fitzpatrick, S., 2012, Edinburgh: Heriot-Watt University. 14 p. (Multiple Exclusion Homelessness in the UK: Briefing Papers)

  Research output: Book/Report › Other report

  Open Access

  File
  102 Downloads (Pure)

• Multiple exclusion homelessness in the UK: migrants: Briefing paper no. 2

  Fitzpatrick, S., Johnsen, S. & Bramley, G., 2012, Edinburgh: Heriot-Watt University. 16 p. (Multiple Exclusion Homelessness in the UK: Briefing Papers)

  Research output: Book/Report › Other report

  Open Access

  File
  169 Downloads (Pure)

• Neighbourhood community budget pilot programme: Research, learning, evaluation and lessons

  Rutherfoord, R., Spurling, L., Busby, A. & Watts, B., Jul 2013, London: Department for Communities and Local Government.

  Research output: Book/Report › Other report

• Ordering Type Constraints: A Structured Approach

  Hage, J. & Heeren, B., 2005, Department of Information and Computing Sciences, Utrecht University. 19 p. (Technical Report Series; no. UU-CS-2005-016)

  Research output: Book/Report › Other report

  Open Access

• Parametric Type Inferencing for Helium

  Heeren, B. & Hage, J., 2002, Department of Information and Computing Sciences, Utrecht University. 17 p. (Technical Report Series; no. CS-2002/2002-035)

  Research output: Book/Report › Other report

  Open Access

• RADAR Interviews Analysis: Project Report

  Strani, K. & Monteoliva, E., 2015, Perugia, Italy: Key & Key Communications, Perugia, Italy. 13 p.

  Research output: Book/Report › Other report

  File
  11 Downloads (Pure)

• RD099: Low Impact Scallop Innovation Gear (LISIG) project

  Sciberras, M., Fenton, M., Szostek, C., Delargy, A., Johnson, A., Hinz, H., Hold, N. & Kaiser, M., 2022, 106 p.

  Research output: Book/Report › Other report

  File
  47 Downloads (Pure)

• Report of the Scientific Council Working Group on Ecosystem Science and Assessment: 17-26 November 2020

  SC Working Group on Ecosystem Science and Assessment, Nov 2020, NAFO. 270 p.

  Research output: Book/Report › Other report

• Staircases, elevators and cycles of change: 'Housing First' and other housing models for homeless people with complex support needs

  Johnsen, S. & Teixeira, L., 2010, London: Crisis. 40 p.

  Research output: Book/Report › Other report

  Open Access

  File
  362 Downloads (Pure)

• Strategies for solving constraints in program analysis

  Hage, J. & Heeren, B., 2006, Department of Information and Computing Sciences, Utrecht University. 10 p. (Technical Report Series; no. UU-CS-2006-055)

  Research output: Book/Report › Other report

  Open Access

• Suburban Neighbourhood Adaptation for a Changing Climate (SNACC): final report

  Williams, K., Gupta, R., Smith, I., Joynt, J., Hopkins, D., Bramley, G., Payne, C., Gregg, M., Hambleton, R., Bates-Brkljac, N., Dunse, N. & Musslewhite, C., 2012, University of the West of England.

  Research output: Book/Report › Other report

• Tackling child poverty: Actions to prevent and mitigate child poverty at the local level

  Treanor, M., Macht, A., Morton, S. & Seditas, K., Sep 2017, Edinburgh: What Works Scotland. 31 p.

  Research output: Book/Report › Other report

  Open Access

  File
  40 Downloads (Pure)

• Tackling Housing Market Volatility in the UK: Report of the Housing Market Taskforce

  Stephens, M., 2011, York: Joseph Rowntree Foundation. 99 p.

  Research output: Book/Report › Other report

  Open Access

  File
  540 Downloads (Pure)

• technical report: Mobile Processes with Dependant Communication Types and Singleton Types for Names and Capabilities

  Amtoft, T. & Wells, J. B., Dec 2002, Kansas State University, Department of Computing and Information Sciences.

  Research output: Book/Report › Other report