07/24/21: Linear Haskell with Artem Pelenitsyn

Artem is a PhD student in computer science at Northeastern University, advised by Professor Jan Vitek.  Prior to joining the Khoury PhD program, Artem worked as an Assistant Professor at Southern Federal University in Russia, where he earned his MSc and BSc.  Today Artem joined us to present about linear Haskell, a version of / feature-set for Haskell allowing "linear" types.  Artem explained linearity, why it might be useful, and why adding linear types to an existing (non-linear) language can be difficult - with Haskell as a case study. You can watch a video version of Artem's talk [HERE]. You can learn more about Artem [HERE].