12 citations · 23 across the 4 of their papers we have counts for
1 paper · 1 filter
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
The enriched effect calculus (EEC) is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. This paper explores the enriched effect c…