RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.

Title: Type-Safe, Hypermedia-First DSL for Backend-Driven Web Applications
Speakers: Miguel Gamboa (ISEL)
When: January 22nd, 2026, 11h00
Where: FCUL, 6.3.26
Invited by: Alcides Fonseca

Abstract: This talk compares MPA and SPA (multi and single page application) web development approaches, highlighting their advantages and limitations. HtmlFlow (Java and Kotlin DSL to write type- safe HTML) is presented, emphasizing type safety, performance, and Progressive Server-Side Rendering (PSSR). Reactive paradigms have emerged to meet modern scalability and responsiveness requirements, and Datastar bridges the gap between MPA and SPA with a signal-based reactive model. This approach opens new future directions, particularly in integrating the Datastar API into HtmlFlow, enabling developers to combine type-safe server-side HTML generation with hypermedia-driven, reactive components.

Bio: Miguel Gamboa is an Assistant Professor at ISEL and a software engineer at CCISEL. He began his professional career in 1997 at SSF/Easysoft. In 2014, he completed his PhD with the dissertation “STMs for Large-Scale Programs”, which aimed to provide an efficient alternative for shared-memory synchronization in modern runtime environments such as the JVM and .NET. Throughout his career, he has worked at Altitude Software, Quatro SI, CCISEL, and INESC ID. He received the BEST Paper Award at ICA3PP 2013 for his doctoral work and was honored with the IPL Excellence Award in 2019 for the HtmlFlow project. He is the author of several open-source libraries, including HtmlFlow and javasync/RxIo, and also authored the book “The Managed Runtime Environment: Diving into the JVM with Kotlin”, published in 2025.