Simple Dependent Types for OSTRICH

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


The demand to develop more applications and in a faster way has been increasing over the years. Even non-experienced developers are jumping into the market thanks to low-code development platforms such as OutSystems. OSTRICH, a type-safe rich template language for the OutSystems platform, allows for the definition and instantiation of type-safe templates while ensuring a clear separation between compile-time and runtime computations. We formalise this two-stage language and introduce new features to the OSTRICH language, namely parametric polymorphism and a simplified form of dependent types. Such features enable instantiating the most commonly used OutSystems templates, reducing the knowledge required by the developer and easing the development process.

Original languageEnglish
Title of host publicationIntegrated Formal Methods - 17th International Conference, IFM 2022, Proceedings
EditorsMaurice H. ter Beek, Rosemary Monahan
Number of pages4
ISBN (Electronic)978-3-031-07727-2
ISBN (Print)978-3-031-07726-5
Publication statusPublished - 2022
Event17th International Conference on Integrated Formal Methods, IFM 2022 - Lugano, Switzerland
Duration: 7 Jun 202210 Jun 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer, Cham
Volume13274 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference17th International Conference on Integrated Formal Methods, IFM 2022


  • Dependent types
  • Low-code
  • Meta-programming
  • Parametric polymorphism
  • Staged computation
  • Template


Dive into the research topics of 'Simple Dependent Types for OSTRICH'. Together they form a unique fingerprint.

Cite this