Jade Allen, “Assigning Meanings to Programs”
ZoomThis is a dive into Robert Floyd's 1969 paper which intorduced the idea of flow charts and treated program execution[…]
Free
This is a dive into Robert Floyd's 1969 paper which intorduced the idea of flow charts and treated program execution[…]
In the past year, Roc has gotten a new syntax, a new foundational abstraction, and a new compiler. A lot[…]
Every December, we hold a holiday social gathering in lieu of a traditional talk. We will meet at On the[…]