Implementing Typed Intermediate Languages. - Zhong Shao 001; Christopher League; Stefan Monnier (ICFP, 1998)

A Study of a Simultaneous Multithreaded Processor Implementation. - Dominik Madon; Eduardo Sanchez; Stefan Monnier (Euro-Par, 1999)

Principled Scavenging. - Stefan Monnier; Bratin Saha; Zhong Shao 001 (PLDI, 2001)

A Syntactic Approach to Foundational Proof-Carrying Code. - Nadeem Abdul Hamid; Zhong Shao 001; Valery Trifonov; Stefan Monnier; Zhaozhong Ni (J. Autom. Reason., 2003)

Inlining as staged computation. - Stefan Monnier; Zhong Shao 001 (J. Funct. Program., 2003)

Typed Compilation Against Non-manifest Base Classes. - Christopher League; Stefan Monnier (CASSIS, 2005)

Type-Safe Code Transformations in Haskell. - Louis-Julien Guillemette; Stefan Monnier (PLPV@IJCAR, 2006)

A type-preserving closure conversion in haskell. - Louis-Julien Guillemette; Stefan Monnier (Haskell, 2007)

The swiss coercion. - Stefan Monnier (PLPV, 2007)

A type-preserving compiler in Haskell. - Louis-Julien Guillemette; Stefan Monnier (ICFP, 2008)

One Vote for Type Families in Haskell! - Louis-Julien Guillemette; Stefan Monnier (Trends in Functional Programming, 2008)

Type invariants for Haskell. - Tom Schrijvers; Louis-Julien Guillemette; Stefan Monnier (PLPV, 2009)

Singleton types here, singleton types there, singleton types everywhere: (abstract only). - Stefan Monnier; David Haguenauer (ACM SIGPLAN Notices, 2009)

Singleton types here, singleton types there, singleton types everywhere. - Stefan Monnier; David Haguenauer (PLPV, 2010)

Compiling contextual objects: bringing higher-order abstract syntax to programmers. - Francisco Ferreira 001; Stefan Monnier; Brigitte Pientka (PLPV, 2013)

Programming type-safe transformations using higher-order abstract syntax. - Olivier Savary Bélanger; Stefan Monnier; Brigitte Pientka (J. Formaliz. Reason., 2015)

Inductive types deconstructed: the calculus of united constructions. - Stefan Monnier (TyDe@ICFP, 2019)

Is Impredicativity Implicitly Implicit? - Stefan Monnier; Nathaniel Bos (TYPES, 2019)

Don't ignore the cost of 'embedded energy'. - Stefan Monnier; Andrew A. Chien; Robert L. Glass; Charles H. Davis; Thorkil Naur; Thomas A. Limoncelli (Commun. ACM, 2019)

Evolution of Emacs Lisp. - Stefan Monnier; Michael Sperber (Proc. ACM Program. Lang., 2020)

Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). - Junyoung Jang 001; Samuel Gélineau; Stefan Monnier; Brigitte Pientka (CoRR, 2021)

SMIE: Weakness is Power! - Auto-indentation with incomplete information. - Stefan Monnier (Art Sci. Eng. Program., 2021)

Open Closures - Disclosing lambda's inner monomaniac object! - Stefan Monnier (ELS, 2022)

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. - Junyoung Jang 001; Samuel Gélineau; Stefan Monnier; Brigitte Pientka (Proc. ACM Program. Lang., 2022)

Design Pattern for Reusing Immutable Methods in Object-Oriented Languages. - William Flageol; Yann-Gaël Guéhéneuc; Mourad Badri; Stefan Monnier (EuroPLoP, 2023)

A mapping study of language features improving object-oriented design patterns. - William Flageol; Éloi Menaud; Yann-Gaël Guéhéneuc; Mourad Badri; Stefan Monnier (Inf. Softw. Technol., 2023)

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell. - Laurent Huberdeau; Cassandre Hamel; Stefan Monnier; Marc Feeley (SLE, 2024)

Normalizable Types. - Stefan Monnier (TyDe@ICFP, 2024)

Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection. - Frédéric Lahaie-Bertrand; Léonard Oest O'Leary; Olivier Melançon; Marc Feeley; Stefan Monnier (ISMM, 2025)