Samuel Gélineau

Registered user since Thu 20 Sep 2018

Name:Samuel Gélineau

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.

Personal website:
Research interests:Type Systems


POPL 2022 Mœbius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself
Show activities from other conferences

POPL 2022-profile
View general profile