Stefan Monnier

34 papers A* 2A 2B 2C 2Misc 1Journal 12Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Design pattern for reusing immutable methods in object-oriented languages. J. Comput. Lang. William Flageol, Yann-Gaël Guéhéneuc, Stefan Monnier, Mourad Badri
2025	C	`conf`	Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection. ISMM Frédéric Lahaie-Bertrand, Léonard Oest O'Leary, Olivier Melançon, Marc Feeley, Stefan Monnier
2024	—	`conf`	Normalizable Types. TyDe@ICFP Stefan Monnier
2024	B	`conf`	The Design of a Self-Compiling C Transpiler Targeting POSIX Shell. SLE Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, Marc Feeley
2023	J	`jnl`	A mapping study of language features improving object-oriented design patterns. Inf. Softw. Technol. William Flageol, Éloi Menaud, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier
2023	Misc	`conf`	Design Pattern for Reusing Immutable Methods in Object-Oriented Languages. EuroPLoP William Flageol, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier
2023	—	`ed.`	Proceedings of the 16th European Lisp Symposium, ELS 2023, Amsterdam, Netherlands, April 24-25, 2023 ELS Stefan Monnier
2022	J	`jnl`	Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. Proc. ACM Program. Lang. Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka
2022	—	`conf`	Open Closures - Disclosing lambda's inner monomaniac object! ELS Stefan Monnier
2021	J	`jnl`	Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). CoRR Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka
2021	J	`jnl`	SMIE: Weakness is Power! - Auto-indentation with incomplete information. Art Sci. Eng. Program. Stefan Monnier
2020	J	`jnl`	Evolution of Emacs Lisp. Proc. ACM Program. Lang. Stefan Monnier, Michael Sperber
2020	J	`jnl`	SMIE: Weakness is Power!: Auto-indentation with incomplete information. CoRR Stefan Monnier
2019	J	`jnl`	Don't ignore the cost of 'embedded energy'. Commun. ACM Stefan Monnier, Andrew A. Chien, Robert L. Glass, Charles H. Davis, Thorkil Naur, Thomas A. Limoncelli
2019	—	`conf`	Inductive types deconstructed: the calculus of united constructions. TyDe@ICFP Stefan Monnier
2019	—	`conf`	Is Impredicativity Implicitly Implicit? TYPES Stefan Monnier, Nathaniel Bos
2015	J	`jnl`	Programming type-safe transformations using higher-order abstract syntax. J. Formaliz. Reason. Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka
2013	—	`conf`	Compiling contextual objects: bringing higher-order abstract syntax to programmers. PLPV Francisco Ferreira, Stefan Monnier, Brigitte Pientka
2013	B	`conf`	Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. CPP Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka
2010	—	`conf`	Singleton types here, singleton types there, singleton types everywhere. PLPV Stefan Monnier, David Haguenauer
2009	J	`jnl`	Singleton types here, singleton types there, singleton types everywhere: (abstract only). ACM SIGPLAN Notices Stefan Monnier, David Haguenauer
2009	—	`conf`	Type invariants for Haskell. PLPV Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier
2008	A	`conf`	A type-preserving compiler in Haskell. ICFP Louis-Julien Guillemette, Stefan Monnier
2008	—	`conf`	One Vote for Type Families in Haskell! Trends in Functional Programming Louis-Julien Guillemette, Stefan Monnier
2007	C	`conf`	A type-preserving closure conversion in haskell. Haskell Louis-Julien Guillemette, Stefan Monnier
2007	—	`conf`	The swiss coercion. PLPV Stefan Monnier
2006	—	`conf`	Type-Safe Code Transformations in Haskell. PLPV@IJCAR Louis-Julien Guillemette, Stefan Monnier
2005	—	`conf`	Typed Compilation Against Non-manifest Base Classes. CASSIS Christopher League, Stefan Monnier
2003	J	`jnl`	A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reason. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
2003	J	`jnl`	Inlining as staged computation. J. Funct. Program. Stefan Monnier, Zhong Shao
2002	A*	`conf`	A Syntactic Approach to Foundational Proof-Carrying Code. LICS Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
2001	A*	`conf`	Principled Scavenging. PLDI Stefan Monnier, Bratin Saha, Zhong Shao
1999	—	`conf`	A Study of a Simultaneous Multithreaded Processor Implementation. Euro-Par Dominik Madon, Eduardo Sanchez, Stefan Monnier
1998	A	`conf`	Implementing Typed Intermediate Languages. ICFP Zhong Shao, Christopher League, Stefan Monnier