TypEr

swMATH22059MaRDI QIDQ33855FDOQ33855

Author name not available (Why is that?)

Official website: https://github.com/erlang/typer

Source code repository: https://github.com/erlang/typer

Cited In (7)

• Dialyzer
• CutEr
• erlyberly
• PropEr
• redbug
• SecEr
• Polymorphic types in Erlang function specifications

This page was built for software: TypEr