López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka Polymorphic success types for Erlang. (English) Zbl 1415.68056 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 515-533 (2018). MSC: 68N15 68N18 68N19 PDFBibTeX XMLCite \textit{F. J. López-Fraguas} et al., EPiC Ser. Comput. 57, 515--533 (2018; Zbl 1415.68056) Full Text: DOI
López-Fraguas, Francisco J.; Montenegro, Manuel; Rodríguez-Hortalá, Juan Polymorphic types in Erlang function specifications. (English) Zbl 1475.68066 Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 181-197 (2016). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{F. J. López-Fraguas} et al., Lect. Notes Comput. Sci. 9613, 181--197 (2016; Zbl 1475.68066) Full Text: DOI