20 citations · 96 across the 24 of their papers we have counts for
1 paper · 1 filter
Ugo de'Liguoro, Riccardo Treglia
We study polymorphic type assignment systems for untyped lambda-calculi with effects, based on Moggi's monadic approach. Moving from the abstract definition of monads, we introduce…