Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill https://doi.org/10.1007/978-3-319-71237-6_20 Conference proceedings at Scopus Article at Scopus Article at WOS

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS