共 50 条
- [49] Partiality and Container Monads PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2017), 2017, 10695 : 406 - 425
- [50] Partiality, Revisited The Partiality Monad as a Quotient Inductive-Inductive Type FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 534 - 549