Stefan Monnier

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 12

Top Topics

Design Patterns

Nash Equilibria

Query Answering

Incomplete Information

Top Venues

Proc. ACM Program. Lang.

Inf. Softw. Technol.

Publications

Stefan Monnier
Normalizable Types. TyDe@ICFP (2024)
William Flageol, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier
Design Pattern for Reusing Immutable Methods in Object-Oriented Languages. EuroPLoP (2023)
William Flageol, Éloi Menaud, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier
A mapping study of language features improving object-oriented design patterns. Inf. Softw. Technol. 160 (2023)
Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. Proc. ACM Program. Lang. 6 (POPL) (2022)
Stefan Monnier
Open Closures - Disclosing lambda's inner monomaniac object! ELS (2022)
Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka
Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). CoRR (2021)
Stefan Monnier
SMIE: Weakness is Power! - Auto-indentation with incomplete information. Art Sci. Eng. Program. 5 (1) (2021)
Stefan Monnier, Michael Sperber
Evolution of Emacs Lisp. Proc. ACM Program. Lang. 4 (HOPL) (2020)
Stefan Monnier
SMIE: Weakness is Power!: Auto-indentation with incomplete information. CoRR (2020)
Stefan Monnier, Nathaniel Bos
Is Impredicativity Implicitly Implicit? TYPES (2019)
Stefan Monnier
Inductive types deconstructed: the calculus of united constructions. TyDe@ICFP (2019)
Stefan Monnier, Andrew A. Chien, Robert L. Glass, Charles H. Davis, Thorkil Naur, Thomas A. Limoncelli
Don't ignore the cost of 'embedded energy'. Commun. ACM 62 (5) (2019)
Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka
Programming type-safe transformations using higher-order abstract syntax. J. Formaliz. Reason. 8 (1) (2015)
Francisco Ferreira, Stefan Monnier, Brigitte Pientka
Compiling contextual objects: bringing higher-order abstract syntax to programmers. PLPV (2013)
Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka
Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. CPP (2013)
Stefan Monnier, David Haguenauer
Singleton types here, singleton types there, singleton types everywhere. PLPV (2010)
Stefan Monnier, David Haguenauer
Singleton types here, singleton types there, singleton types everywhere: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier
Type invariants for Haskell. PLPV (2009)
Louis-Julien Guillemette, Stefan Monnier
One Vote for Type Families in Haskell! Trends in Functional Programming (2008)
Louis-Julien Guillemette, Stefan Monnier
A type-preserving compiler in Haskell. ICFP (2008)
Louis-Julien Guillemette, Stefan Monnier
A type-preserving closure conversion in haskell. Haskell (2007)
Louis-Julien Guillemette, Stefan Monnier
Type-Safe Code Transformations in Haskell. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Stefan Monnier
The swiss coercion. PLPV (2007)
Christopher League, Stefan Monnier
Typed Compilation Against Non-manifest Base Classes. CASSIS (2005)
Stefan Monnier, Zhong Shao
Inlining as staged computation. J. Funct. Program. 13 (3) (2003)
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reason. 31 (3-4) (2003)
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code. LICS (2002)
Stefan Monnier, Bratin Saha, Zhong Shao
Principled Scavenging. PLDI (2001)
Dominik Madon, Eduardo Sanchez, Stefan Monnier
A Study of a Simultaneous Multithreaded Processor Implementation. Euro-Par (1999)
Zhong Shao, Christopher League, Stefan Monnier
Implementing Typed Intermediate Languages. ICFP (1998)