×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

Software