1 × Canada
A.Sabry S.Tobin-Hochstadt O.Kiselyov M.M.Vitousek J.G.Siek
type (2) transform (1) contract (1) communic (1) collabor (1) pattern (1) monitor (1) gradual (1) express (1) system (1)
Person: Cameron Swords
Wrote 3 papers:
- ICFP-2015-SwordsST #communication #contract #monitoring
- Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
- Haskell-2013-KiselyovSS #monad
- Extensible effects: an alternative to monad transformers (OK, AS, CS), pp. 59–70.
- POPL-2017-VitousekSS #collaboration #runtime #type system
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems (MMV, CS, JGS), pp. 762–774.