ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

HasChor is a library for functional choreographic programming in Haskell. It provides a monadic interface for choreographic programming where choreographies are expressed as computations in a monad. Based on Haskell’s type system, HasChor supports higher-order choreographies and location polymorphism, both features that enable modularity and code reuse.