Conversation

Ralf Jung headlining #POPL2018, talking about the foundations of

.

1

2

17

Brendan Zabarauskas

Replying to

and

Arrgh, want to see this talk so bad!

3:41 AM · Jan 13, 2018Twitter Web Client

Replying to

and

The #POPL2018 talks were all recorded, so you should be able to at some point!

1

2