vix.ing · top · new · best · stats · spec

Rapoport, Marianna

  1. A Path To DOT: Formalizing Fully Path-Dependent Types
    2019/04/15 by Marianna Rapoport, Rapoport, Marianna, Ondřej Lhoták +1 · 1 voice · 1 citation
    Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
  2. A Simple Soundness Proof for Dependent Object Types
    2017/06/12 by Marianna Rapoport, Rapoport, Marianna, Ifaz Kabir +5 · 2 voices
    Computer Science · #cs.PL