Mathematically Structured Programming

Research output

Research output per year 2008 2009 2012 2013 2014 2015 2017 2018 2020 2021 2022 2023

• 83 Conference contribution book
• 56 Article
• 8 Chapter
• 8 Paper
• 19 More
  • 4 Conference Contribution
  • 3 Special issue
  • 2 Anthology
  • 2 Working paper
  • 1 Book
  • 1 Other chapter contribution
  • 1 Chapter (peer-reviewed)
  • 1 Conference article
  • 1 Review article
  • 1 Doctoral Thesis
  • 1 Master's Thesis
  • 1 Working Paper/Preprint

Research output per year

Research output per year

Search results

• 2021

  Type systems for programs respecting dimensions

  McBride, C. & Nordvall Forsberg, F., 8 Jan 2021, (Accepted/In press) Advanced Mathematical and Computational Tools in Metrology and Testing XII. Singapore: World Scientific Publishing Co. Pte Ltd, 15 p. (Series on Advances in Mathematics for Applied Sciences).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

  File

  • Computer programming languages 100%
  420 Downloads (Pure)