Some Practical Problems and Their Influence on Semantics
Abstract elided by the publisher.
Related papers
- A Sound Type System for Secure Currency Flow TOPLAS 2026
- A Sound Type System for Secure Currency Flow ECOOP 2024
- The influence of dependent types (keynote) POPL 2017
- Explicit Modeling of Influences, and of Their Absence, in Distributed Systems TACAS 2002
- Essential language support for generic programming PLDI 2005
- An empirical study of the influence of static type systems on the usability of undocumented software OOPSLA 2012
- The influence of browsers on evaluators or, continuations to program web servers ICFP 2000
- On the Rise of Modern Software Documentation (Pearl/Brave New Idea) ECOOP 2023