SICSA

Research output

Research output per year 1988 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2021 2024

• 322 Article
• 220 Conference contribution book
• 91 Paper
• 36 Chapter
• 126 More
  • 19 Poster
  • 16 Chapter (peer-reviewed)
  • 16 Conference Contribution
  • 13 Book
  • 9 Other
  • 8 Abstract
  • 5 Keynote
  • 5 Doctoral Thesis
  • 5 Working paper
  • 4 Conference article
  • 3 Other chapter contribution
  • 3 Presentation/Speech
  • 3 Special issue
  • 3 Working Paper/Preprint
  • 2 Other report
  • 2 Editorial
  • 2 Other contribution
  • 1 Anthology
  • 1 Commissioned report
  • 1 Entry for encyclopedia/dictionary
  • 1 Proceeding
  • 1 Book/Film/Article review
  • 1 Literature review
  • 1 Master's Thesis
  • 1 Guide or manual

Research output per year

Research output per year

Search results

• 2020

  Type-driven development with Idris

  Muijnck-Hughes, J. D., 10 Jun 2020, In: Journal of Functional Programming. 30, p. e16 3 p.

  Research output: Contribution to journal › Book/Film/Article review