Stefan Monnier

Orcid: 0000-0001-7597-5273

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Normalizable Types.
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.
Inf. Softw. Technol., August, 2023

Design Pattern for Reusing Immutable Methods in Object-Oriented Languages.
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.
Proc. ACM Program. Lang., 2022

Open Closures - Disclosing lambda's inner monomaniac object!
Proceedings of the 15th European Lisp Symposium, 2022

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

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

2020
Evolution of Emacs Lisp.
Proc. ACM Program. Lang., 2020

2019
Don't ignore the cost of 'embedded energy'.
Commun. ACM, 2019

Is Impredicativity Implicitly Implicit?
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Inductive types deconstructed: the calculus of united constructions.
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2015
Programming type-safe transformations using higher-order abstract syntax.
J. Formaliz. Reason., 2015

2013
Compiling contextual objects: bringing higher-order abstract syntax to programmers.
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2010
Singleton types here, singleton types there, singleton types everywhere.
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

2009
Singleton types here, singleton types there, singleton types everywhere: (abstract only).
ACM SIGPLAN Notices, 2009

Type invariants for Haskell.
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

2008
One Vote for Type Families in Haskell!
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

A type-preserving compiler in Haskell.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
The swiss coercion.
Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

A type-preserving closure conversion in haskell.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2006
Type-Safe Code Transformations in Haskell.
Proceedings of the Programming Languages meets Program Verification, 2006

2005
Typed Compilation Against Non-manifest Base Classes.
Proceedings of the Construction and Analysis of Safe, 2005

2003
Inlining as staged computation.
J. Funct. Program., 2003

A Syntactic Approach to Foundational Proof-Carrying Code.
J. Autom. Reason., 2003

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

1999
A Study of a Simultaneous Multithreaded Processor Implementation.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
Implementing Typed Intermediate Languages.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998


  Loading...