Registered user since Thu 20 Sep 2018
Active in the Haskell community under the pseudonyms gelisam and @haskell_cat. Co-organizes Montreal’s functional programming meetup, Lambda Montreal. Currently working as a Haskell developer at SimSpace. M.Sc. at McGill University on resolving conflicts in Aspect-Oriented Programming.
|POPL 2022||Mœbius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself|
|Show activities from other conferences|
View general profile