Stefan Monnier

Francisco Ferreira, Stefan Monnier, Brigitte Pientka: Compiling contextual objects: bringing higher-order abstract syntax to programmers. PLPV 2013: 13-24

Stefan Monnier, David Haguenauer: Singleton types here, singleton types there, singleton types everywhere. PLPV 2010: 1-8

Stefan Monnier, David Haguenauer: Singleton types here, singleton types there, singleton types everywhere: (abstract only). SIGPLAN Notices 44(11): 6 (2009)

Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier: Type invariants for Haskell. PLPV 2009: 39-48

Louis-Julien Guillemette, Stefan Monnier: A type-preserving compiler in Haskell. ICFP 2008: 75-86

Louis-Julien Guillemette, Stefan Monnier: Type-Safe Code Transformations in Haskell. Electr. Notes Theor. Comput. Sci. 174(7): 23-39 (2007)

Louis-Julien Guillemette, Stefan Monnier: A type-preserving closure conversion in haskell. Haskell 2007: 83-92

Stefan Monnier: The swiss coercion. PLPV 2007: 33-40

Christopher League, Stefan Monnier: Typed Compilation Against Non-manifest Base Classes. CASSIS 2005: 77-98

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reasoning 31(3-4): 191-229 (2003)

Stefan Monnier, Zhong Shao: Inlining as staged computation. J. Funct. Program. 13(3): 647-676 (2003)

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100

Stefan Monnier, Bratin Saha, Zhong Shao: Principled Scavenging. PLDI 2001: 81-91

Dominik Madon, Eduardo Sanchez, Stefan Monnier: A Study of a Simultaneous Multithreaded Processor Implementation. Euro-Par 1999: 716-726

Zhong Shao, Christopher League, Stefan Monnier: Implementing Typed Intermediate Languages. ICFP 1998: 313-323