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

Samuelson, Ashley

  1. Choreographic Quick Changes: First-Class Location (Set) Polymorphism
    2025/06/12 by A.G. Samuelson, Samuelson, Ashley, Andrew K. Hirsch +3 · 1 citation
    Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)