This talk was given by Péter Bereczky at Lambda Days he discusses Erlang looking at based formulation with lots of code examples.
This talk was given by Péter Bereczky at Lambda Days.
Connecting...
A Proof Assistant Based Formalisation of Core Erlang by Péter Bereczky
Recent articles
-
The newly appointed European Permanent, Director at Signify Technology - Richard Thexton
3 months ago by Morgan Keeley
-
Our top tips to stay motivated after the holidays/winter break
5 months ago by Morgan Keeley
-
3 Tips for a Smooth transition from remote to onsite work
7 months ago by
-
All About Programme One
8 months ago by Shannon Lynch
-
Your common CV/Resume mistakes, and how to avoid them
8 months ago by Morgan Keeley
-
Six things I’ve learned in my first year as a Software Developer
over 1 year ago by Faith Ege