All Stories

  1. Precise Analysis of Purpose Limitation in Data Flow Diagrams

    Article • August 2022, ACM (Association for Computing Machinery)

    Sandro Stucki

  2. A theory of higher-order subtyping with type intervals

    Article • Proceedings of the ACM on Programming Languages, August 2021, ACM (Association for Computing Machinery)

    Sandro Stucki