3 ms·

Excellent slides. thank you. Is the recording perchance available somewhere?

• munin 13y ago
  don't think PLDI records tutorials (it was 3h long)