Stefan Monnier -

Registered user since Mon 17 May 2021

Name:Stefan Monnier

Country:Canada

Affiliation:Université de Montréal

Contributions

ELS 2022	Author of Research Paper: Open Closures: Disclosing lambda's inner monomaniac object! within the ELS 2022-track
POPL 2022	Author of Mœbius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself within the POPL-track
HOPL IV	Author of Evolution of Emacs Lisp within the Papers-track
‹Programming› 2021	Author of SMIE: Weakness is Power!: Auto-indentation with incomplete information within the Research Papers-track
TyDe 2019	Author of Inductive types deconstructed within the TyDe 2019-track
ELS 2019	Keynote Speaker of The Lisp of the prophet for the One True Editor within the ELS 2019-track
ML 2017	Author of Typer: an infix statically typed Lisp within the ML 2017-track