Centre for Software Language Engineering

Research output

Research output per year 1986 2011 2023

• 42 Conference contribution
• 27 Article
• 7 Paper
• 2 Doctoral Thesis
• 6 More
  • 1 Book
  • 1 Chapter
  • 1 Entry for encyclopedia/dictionary
  • 1 Other contribution
  • 1 Abstract
  • 1 Software

Research output per year

Research output per year

Search results

• 2023

  A Metatheoretic Analysis of Subtype Universes

  Bradley, F. & Luo, Z., 28 Jul 2023, (Accepted/In press) 28th International Conference on Types for Proofs and Programs (TYPES 2022): Leibniz International Proceedings in Informatics. Dagstuhl, Germany: Schloss Dagstuhl –Leibniz Center for Informatics, Vol. 269. 21 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access