Paulette Koronkevich

1. PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
   2019/12/10 by Michael Coblenz, Gauri Kambhatla, Coblenz, Michael +13 · 1 voice
   #cs.HC #cs.PL #cs.SE
2. Type Universes as Kripke Worlds
   2025/08/05 by Paulette Koronkevich, William J. Bowman · 1 voice
   Computer Science · #Advanced Software Engineering Methodologies #Logic, programming, and type systems #Software Engineering Research