Stefan Monnier - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2023

Design Pattern for Reusing Immutable Methods in Object-Oriented LanguagesWilliam Flageol, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier. EuroPLoP 2023: [doi]

A mapping study of language features improving object-oriented design patternsWilliam Flageol, Éloi Menaud, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier. INFSOF, 160:107222, August 2023. [doi]

2022

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itselfJunyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka. PACMPL, 6(POPL):1-27, 2022. [doi]

Open Closures - Disclosing lambda's inner monomaniac object!Stefan Monnier. els 2022: 6-13 [doi]

2021

SMIE: Weakness is Power! - Auto-indentation with incomplete informationStefan Monnier. Programming, 5(1):1, 2021. [doi]

2020

Evolution of Emacs LispStefan Monnier, Michael Sperber. PACMPL, 4(HOPL), 2020. [doi]

2019

Inductive types deconstructed: the calculus of united constructionsStefan Monnier. ICFP 2019: 52-63 [doi]

Is Impredicativity Implicitly Implicit?Stefan Monnier, Nathaniel Bos. TYPES 2020: [doi]

Don't ignore the cost of 'embedded energy'Stefan Monnier, Andrew A. Chien, Robert L. Glass, Charles H. Davis, Thorkil Naur, Thomas A. Limoncelli. CACM, 62(5):10-11, 2019. [doi]

2015

Programming type-safe transformations using higher-order abstract syntaxOlivier Savary Bélanger, Stefan Monnier, Brigitte Pientka. jfrea, 8(1):49-91, 2015. [doi]

2013

Programming Type-Safe Transformations Using Higher-Order Abstract SyntaxOlivier Savary Belanger, Stefan Monnier, Brigitte Pientka. CPP 2013: 243-258 [doi]

Compiling contextual objects: bringing higher-order abstract syntax to programmersFrancisco Ferreira, Stefan Monnier, Brigitte Pientka. plpv 2013: 13-24 [doi]

2010

Singleton types here, singleton types there, singleton types everywhereStefan Monnier, David Haguenauer. plpv 2010: 1-8 [doi]

2009

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

Type invariants for HaskellTom Schrijvers, Louis-Julien Guillemette, Stefan Monnier. plpv 2009: 39-48 [doi]

2008

One Vote for Type Families in Haskell!Louis-Julien Guillemette, Stefan Monnier. sfp 2008: 81-96

A type-preserving compiler in HaskellLouis-Julien Guillemette, Stefan Monnier. ICFP 2008: 75-86 [doi]

2007

A type-preserving closure conversion in haskellLouis-Julien Guillemette, Stefan Monnier. haskell 2007: 83-92 [doi]

Type-Safe Code Transformations in HaskellLouis-Julien Guillemette, Stefan Monnier. ENTCS, 174(7):23-39, 2007. [doi]

The swiss coercionStefan Monnier. plpv 2007: 33-40 [doi]

2005

Typed Compilation Against Non-manifest Base ClassesChristopher League, Stefan Monnier. cassis 2006: 77-98 [doi]

2003

A Syntactic Approach to Foundational Proof-Carrying CodeNadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni. JAR, 31(3-4):191-229, 2003. [doi]

Inlining as staged computationStefan Monnier, Zhong Shao. JFP, 13(3):647-676, 2003. [doi]

2002

A Syntactic Approach to Foundational Proof-Carrying CodeNadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni. lics 2002: 89-100 [doi]

2001

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

1999

A Study of a Simultaneous Multithreaded Processor ImplementationDominik Madon, Eduardo Sanchez, Stefan Monnier. europar 1999: 716-726 [doi]

1998

Implementing Typed Intermediate LanguagesZhong Shao, Christopher League, Stefan Monnier. ICFP 1998: 313-323 [doi]

Sign in or sign up to see more results.

runs on WebDSL