Stefan Monnier

According to our database, Stefan Monnier authored at least 27 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Normalizable Types.

Stefan Monnier

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

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., August, 2023

Design Pattern for Reusing Immutable Methods in Object-Oriented Languages.

William Flageol, Yann-Gaël Guéhéneuc, Mourad Badri, Stefan Monnier

Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

2022

Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself.

Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka

Proc. ACM Program. Lang., 2022

Open Closures - Disclosing lambda's inner monomaniac object!

Stefan Monnier

Proceedings of the 15th European Lisp Symposium, 2022

2021

SMIE: Weakness is Power! - Auto-indentation with incomplete information.

Stefan Monnier

Art Sci. Eng. Program., 2021

Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version).

Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka

CoRR, 2021

2020

Evolution of Emacs Lisp.

Stefan Monnier, Michael Sperber

Proc. ACM Program. Lang., 2020

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

Is Impredicativity Implicitly Implicit?

Stefan Monnier, Nathaniel Bos

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Inductive types deconstructed: the calculus of united constructions.

Stefan Monnier

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2015

Programming type-safe transformations using higher-order abstract syntax.

Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka

J. Formaliz. Reason., 2015

2013

Compiling contextual objects: bringing higher-order abstract syntax to programmers.

Francisco Ferreira, Stefan Monnier, Brigitte Pientka

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2010

Singleton types here, singleton types there, singleton types everywhere.

Stefan Monnier, David Haguenauer

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009

Singleton types here, singleton types there, singleton types everywhere: (abstract only).

Stefan Monnier, David Haguenauer

ACM SIGPLAN Notices, 2009

Type invariants for Haskell.

Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2008

One Vote for Type Families in Haskell!

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

A type-preserving compiler in Haskell.

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

The swiss coercion.

Stefan Monnier

Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

A type-preserving closure conversion in haskell.

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006

Type-Safe Code Transformations in Haskell.

Louis-Julien Guillemette, Stefan Monnier

Proceedings of the Programming Languages meets Program Verification, 2006

2005

Typed Compilation Against Non-manifest Base Classes.

Christopher League, Stefan Monnier

Proceedings of the Construction and Analysis of Safe, 2005

2003

Inlining as staged computation.

Stefan Monnier, Zhong Shao

J. Funct. Program., 2003

A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni

J. Autom. Reason., 2003

2001

Principled Scavenging.

Stefan Monnier, Bratin Saha, Zhong Shao

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

1999

A Study of a Simultaneous Multithreaded Processor Implementation.

Dominik Madon, Eduardo Sanchez, Stefan Monnier

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Implementing Typed Intermediate Languages.

Zhong Shao, Christopher League, Stefan Monnier

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998