#Languages

Media

Do fish have legs: language design for the commercial coder /// Yilin Wei

Can you make that smaller? An introduction to test-case reduction /// David MacIver

What you needa know about Yoneda /// Jeremy Gibbons

Purescript on the BEAM; Typed OTP for greatness /// Rob Ashton

Data pipelines à la mode /// Tom Hall

Revisiting pattern match overlap checks in Haskell /// Simon Peyton Jones

SimGen - a new simulation language /// Anne Ogborn

Abstract data types in the region of abysmal pain, and how to navigate them /// Zainab Ali

Quantitative program reasoning in Granule via graded modal types /// Dominic Orchard

Gleam: Lean BEAM typing machine /// Louis Pilfold

Correctness proofs of distributed systems with Isabelle /// Martin Kleppmann

Do fish have legs: language design for the commercial coder

Lecture by Yilin Wei

READ MORE

Revisiting pattern match overlap checks in Haskell

Lecture by Simon Peyton Jones

READ MORE

What you needa know about Yoneda

Lecture by Jeremy Gibbons

READ MORE

Gleam: Lean BEAM typing machine

Lecture by Louis Pilfold

READ MORE

Data pipelines à la mode

Lecture by Tom Hall

READ MORE

Abstract data types in the region of abysmal pain, and how to navigate them

Lecture by Zainab Ali

READ MORE

Can you make that smaller? An introduction to test-case reduction

Lecture by David MacIver

READ MORE

Purescript on the BEAM; typed OTP for greatness

Lecture by Rob Ashton

READ MORE

Quantitative program reasoning in Granule via graded modal types

Lecture by Dominic Orchard

READ MORE

Convincing your manager to let you try Rust

Lecture by John Feminella

READ MORE

Correctness proofs of distributed systems with Isabelle

Lecture by Martin Kleppmann

READ MORE

SimGen - a new simulation language

Lecture by Anne Ogborn

READ MORE
BACK TO ALL MEDIA

Code Sync and Erlang Solutions uses cookies to personalise your experience. By using this site you consent to the use of cookies Cookie Policy

Got it
×