Hirsch, Andrew K.
- Pirouette: Higher-Order Typed Functional Choreographies
2021/11/05 by Hirsch, Andrew K., Garg, Deepak · 5 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Belief Semantics of Authorization Logic
2013/02/08 by Andrew K. Hirsch, Michael R. Clarkson, Hirsch, Andrew K. +1 · 1 citation
Computer Science · Social Sciences · #Access Control and Trust #Logic, Reasoning, and Knowledge #Security and Verification in Computing #cs.CR #cs.LO
- Alice or Bob?: Process Polymorphism in Choreographies
2023/03/08 by Eva Graversen, Graversen, Eva, Andrew K. Hirsch +3 · 3 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Logic, programming, and type systems #Modular Robots and Swarm Intelligence #Programming Languages (cs.PL) #Reinforcement Learning in Robotics
- Corps: A Core Calculus of Hierarchical Choreographic Programming
2024/06/03 by Andrew K. Hirsch, Hirsch, Andrew K. · 1 citation
Computer Science · Engineering · #Artificial Intelligence in Games #FOS: Computer and information sciences #Human Motion and Animation #Programming Languages (cs.PL) #Robotic Path Planning Algorithms
- 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)