Enriching an Effect Calculus with Linear Types

by Jeff Egger , Rasmus Ejlers Møgelberg , Alex Simpson
Citations:15 - 5 self