Enriching an Effect Calculus with Linear Types

by Jeff Egger , Rasmus Ejlers Møgelberg , Alex Simpson
Citations:8 - 4 self