Browse by Journal or other publication
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Atkey, Bob and Wood, James (2018) Context constrained computation. In: 3rd Workshop on Type-Driven Development (TyDe '18), 2018-09-27 - 2018-09-27.