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
-
Rust vs Go - Exploring the Similarities and Differences
about 1 month ago by Morgan Keeley
-
Events and Conferences; let's talk about the benefits
about 2 months ago by Morgan Keeley
-
It’s time to know your worth!
4 months ago by Morgan Keeley
-
The newly appointed European Permanent, Director at Signify Technology - Richard Thexton
8 months ago by Morgan Keeley
-
Our top tips to stay motivated after the holidays/winter break
11 months ago by Morgan Keeley
-
3 Tips for a Smooth transition from remote to onsite work
about 1 year ago by