Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| start [2026/01/28 22:28] – etanter | start [2026/07/23 12:54] (current) – etanter |
|---|
| |
| ===== Recent News ===== | ===== Recent News ===== |
| | * {{bib>yeAl-toplas2026|A Formal Framework for Typing and Cast Semantics in SQL Engines}} accepted at [[https://dl.acm.org/journal/toplas|TOPLAS]] |
| | * {{bib>felicissimoAl-lics2026|Definitional Proof Irrelevance Made Accessible}} accepted at [[https://lics.siglog.org/lics26/|LICS 2026]] |
| * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} accepted at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]] | * {{bib>rosainAl-popl2026|Bounded Sort Polymorphism with Elimination Constraints}} accepted at [[https://conf.researchr.org/home/POPL-2026|POPL 2026]] |
| * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]] | * {{bib>diazAl-oopsla2025|Incremental Certified Programming}} accepted at [[https://2025.splashcon.org/track/OOPSLA|OOPSLA 2025]] |
