Dialyzer

swMATH22060MaRDI QIDQ33856FDOQ33856

Author name not available (Why is that?)

Official website: http://erlang.org/doc/apps/dialyzer/dialyzer_chapter.html

Described by source

• Polymorphic types in Erlang function specifications
• Polymorphic success types for Erlang

Cited In (1)

• TypEr

This page was built for software: Dialyzer