All Stories

  1. Split Decisions: Explicit Contexts for Substructural Languages

    Article • January 2025, ACM (Association for Computing Machinery)

    Alberto Momigliano, Daniel Zackon