Login / Signup

Unifying graded and parameterised monads.

Dominic OrchardPhilip WadlerHarley Eades III
Published in: MSFP@ETAPS (2020)
Keyphrases
  • optimization problems