7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.SE2023
Exploring API Behaviours Through Generated Examples
Stefan Karlsson, John Hughes, Robbert Jongeling +2
Understanding the behaviour of a system's API can be hard. Giving users access to relevant examples of how an API behaves has been shown to make this easier for them. In addition,…
cs.PL2021★ 7 cited
Deriving Distributive Laws for Graded Linear Types
Jack Hughes, Michael Vollmer, Dominic Orchard
The recent notion of graded modal types provides a framework for extending type theories with fine-grained data-flow reasoning. The Granule language explores this idea in the conte…