Polymorphic success types for Erlang

DOI10.29007/W2M2zbMath1415.68056OpenAlexW2907331940MaRDI QIDQ5222976

Gorka Suárez-García, Francisco J. López Fraguas, Manuel Montenegro

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/w2m2

zbMATH Keywords

typespolymorphismErlangsuccess types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

Dialyzer

Uses Software

• Erlang

This page was built for publication: Polymorphic success types for Erlang