Conversation

William J. Bowman @ ICFP

You may address me as Dr. Prof. Bowman PhD, thank you.

Quote Tweet

Julia Belyakova

· Nov 12, 2018

@wilbowma is defending Compiling with Dependent Types!

42

6

193

Brendan Zabarauskas

Replying to

Congratulations! Your work is really inspiring and useful, I'm looking forward to reading it! 🤩

11:18 PM · Nov 12, 2018Twitter Web Client