Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Monnier
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
PLDI 2021 profile
POPL 2022 profile
‹Programming› 2019 profile
‹Programming› 2021 profile
‹Programming› 2022 profile
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
Share
x
Sat 10 Jun 16:53