Dialyzer

swMATH22060MaRDI QIDQ33856FDOQ33856

Author name not available (Why is that?)

Described by source

• Polymorphic Types in Erlang Function Specifications
• Polymorphic success types for Erlang

This page was built for software: Dialyzer