Brotherston, J;
Villard, J;
(2014)
Parametric completeness for separation theories.
ACM SIGPLAN Notices
, 49
(1)
453 - 464.
10.1145/2535838.2535844.