All media

MIXED ONLY VIDEOS ONLY ARTICLES

ALL

Ask the expert - Thinking Mathematically Above The Code Level ///

#Code Mesh V 2020

MANTIS: Semantics-driven Inductive Program Synthesis /// Roopsha Samanta

#Code Mesh V 2020

Deploying a Modern Serverless Reactive container to the Cloud /// Mary Grygleski

#Code Mesh V 2020

JIT Compiler for Erlang OTP /// Lukas Larsson

#Code Mesh V 2020

Dependent Type Driven Program Synthesis in Idris /// Edwin Brady

Mnesia as a complete production database system /// Chaitanya Chalasani

Graceful shutdown in Elixir - try not to drop the ball /// Pawel Szafran

Live from Undisclosed Locations ///

If at first you don't succeed, try again smarter /// Fred Hebert and Mike Williams

#Code BEAM V EU 2021

Building My First Lisp Compiler /// Ramsey Nasser

#Code Mesh V 2020

Session Types: a History and Applications /// Nobuko Yoshida

#Code Mesh V 2020

Protocol engineering for communicating actors /// Laura Bocchi

#Code Mesh V 2020

<
1
2
3
4
5
…
49
>