Listen "07/24/21: Linear Haskell with Artem Pelenitsyn"
Episode Synopsis
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].
You can watch a video version of Artem's talk [HERE].
You can learn more about Artem [HERE].
More episodes of the podcast Boston Computation Club
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
02/08/2025
ZARZA We are Zarza, the prestigious firm behind major projects in information technology.