Jaakko Järvi
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Lambda JS à la Carte | RocqPL 2026 | 2026-01-17 |
Presents a modular mechanization of JavaScript semantics using the Coq à la Carte approach to avoid monolithic encodings. It addresses the maintenance and… | ||
| Manipulating GUI Structures Declaratively | SPLASH 2022 | 2022-12-05 |
A DSL called Warframe lets programmers declare incidental GUI structures as relations with test and establish methods and then auto-generates an API that… | ||
| Manipulating GUI Structures Declaratively | GPCE 2020 | 2020-11-16 |
A DSL models GUI components, relations like precedes, and transformation rules that generate JavaScript transformation functions which unestablish and… | ||
| nothing matches | ||