Bidirectional typing for Erlang. - Nithin Vadukkumchery Rajendrakumar; Annette Bieniusa (Erlang Workshop, 2021)