JJ -

Registered user since Fri 28 Aug 2026

Name:JJ

Country:Canada

Affiliation:University of British Columbia

Personal website: https://toki.la

Research interests:programming languages, linguistics, type theory

Contributions

2026

Haskell

Speaker of Lightning Talk: Sticks: A (wiki) tool for semantic thought (keywords: hakyll pandoc typst linguistics come to my talk pls) within the Haskell 2026-track

2025

POPL

Committee Member in Student Volunteers