TypEr: A Type Annotator of Erlang Code Tobias Lindahl and Kostis Sagonas Dept of Information Technology Uppsala University Tobias Lindahl: TypEr: A Type Annotator of Erlang Code. Erlang Workshop 2005 Background to this work Erlang is dynamically typed and type safe. It possible to infer types for variables based on their usage. • Example: The arguments to addition must be numbers or else the call