Modern Erlang Teaching from Code Refactoring to Actor System Verification
This paper summarizes the author's many years of experience teaching the functional Erlang language in the Master's program "Software Engineering". Original methodological techniques aimed at bridging the cognitive gap in the transition from imperative to functional thinking are presented. In particular, the following...