ICFP 2026 (series) / Haskell 2026 (series) / Haskell 2026 /
Lightning Talk: Could coapplicatives contain comonads?
Current CS PhD at UChicago. I am interested in concurrency, substructural typing, applied logic, program analysis. I am passionate about accessibility and high-level languages with heroic compilers.
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change
16:00 - 17:30 | Afternoon Session 2Haskell at IP126 Auditorium Chair(s): Lindsey Kuper University of California, Santa Cruz | ||
16:00 35mTalk | Arbiter: Distributed Job Queues using Haskell and PostgreSQLInvited Haskell | ||
16:35 10mTalk | Lightning Talk: Fixen: A Fixed-Point Generator for Haskell Haskell Michael D. Adams National University of Singapore | ||
16:45 10mTalk | Lightning Talk: What's Next with Freer Arrows? Haskell Yao Li Portland State University | ||
16:55 10mTalk | Lightning Talk: Could coapplicatives contain comonads? Haskell J. A. Carr University of Chicago | ||
17:05 10mTalk | Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguation for Turkish-Like Syntax Haskell Joomy Korkut Bloomberg | ||
17:15 10mTalk | Lightning Talk: Sticks: A (wiki) tool for semantic thought (keywords: hakyll pandoc typst linguistics come to my talk pls) Haskell JJ University of British Columbia | ||