@inproceedings{abc0a0b45cba462cb0257e8fdab1b000,
title = "Simple Dependent Types for OSTRICH",
abstract = "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.",
keywords = "Dependent types, Low-code, Meta-programming, Parametric polymorphism, Staged computation, Template",
author = "Joana Parreira",
note = "Funding Information: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT# This work is supported by GOLEM Lisboa-01-0247-Feder-045917. Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; 17th International Conference on Integrated Formal Methods, IFM 2022 ; Conference date: 07-06-2022 Through 10-06-2022",
year = "2022",
doi = "10.1007/978-3-031-07727-2_23",
language = "English",
isbn = "978-3-031-07726-5",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "361--364",
editor = "{ter Beek}, {Maurice H.} and Rosemary Monahan",
booktitle = "Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings",
address = "Netherlands",
}