Rec.HTML: Typed Declarative HTML
Interactive user experiences on the web are becoming the norm. Client-side programs are becoming more complicated and have to deal with event handling, reading HTML document state and updating the interface. In this paper we propose a declarative language that supports these three facets of client-side browser development declaratively and provides a programming model where complex interfaces can be written using simple programming techniques such as records, functions and recursion.
Mon 22 MarDisplayed time zone: Belfast change
13:00 - 14:30
|Rec.HTML: Typed Declarative HTMLProWeb21|
Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel, BelgiumPre-print
|Wassail: a WebAssembly Static Analysis LibraryProWeb21|