Type Theory Forall

Type Theory much beyond inference rules

Episode image

#17 The Lost Elegance of Computation

Conal Elliott

Apr 11th 2024   |  213 min

In this episode I had the pleasure to have an in-depth conversation with Conal Elliott about his life, his work, his philosophy and his many opinions about research and the current state of PL Research and how it lead him to come with the concept of Denotational Design. Conal got his PhD at CMU in the 90s under Frank Pfenning working on Higher-Order Unification, after that he has devoted his life on thinking and refining graphic computation and the tools behind it.



join our discord