![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Stefan Monnier
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j9]William Flageol
, Éloi Menaud, Yann-Gaël Guéhéneuc
, Mourad Badri, Stefan Monnier:
A mapping study of language features improving object-oriented design patterns. Inf. Softw. Technol. 160: 107222 (2023) - 2022
- [j8]Junyoung Jang
, Samuel Gélineau
, Stefan Monnier
, Brigitte Pientka
:
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. Proc. ACM Program. Lang. 6(POPL): 1-27 (2022) - 2021
- [j7]Stefan Monnier:
SMIE: Weakness is Power! - Auto-indentation with incomplete information. Art Sci. Eng. Program. 5(1): 1 (2021) - 2020
- [j6]Stefan Monnier, Michael Sperber:
Evolution of Emacs Lisp. Proc. ACM Program. Lang. 4(HOPL): 74:1-74:55 (2020) - 2019
- [j5]Stefan Monnier, Andrew A. Chien, Robert L. Glass, Charles H. Davis, Thorkil Naur, Thomas A. Limoncelli:
Don't ignore the cost of 'embedded energy'. Commun. ACM 62(5): 10-11 (2019) - 2015
- [j4]Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka:
Programming type-safe transformations using higher-order abstract syntax. J. Formaliz. Reason. 8(1): 49-91 (2015) - 2009
- [j3]Stefan Monnier, David Haguenauer:
Singleton types here, singleton types there, singleton types everywhere: (abstract only). ACM SIGPLAN Notices 44(11): 6 (2009) - 2003
- [j2]Nadeem Abdul Hamid, Zhong Shao
, Valery Trifonov, Stefan Monnier, Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reason. 31(3-4): 191-229 (2003) - [j1]Stefan Monnier, Zhong Shao
:
Inlining as staged computation. J. Funct. Program. 13(3): 647-676 (2003)
Conference and Workshop Papers
- 2024
- [c19]Stefan Monnier:
Normalizable Types. TyDe@ICFP 2024: 29-36 - 2023
- [c18]William Flageol
, Yann-Gaël Guéhéneuc
, Mourad Badri
, Stefan Monnier
:
Design Pattern for Reusing Immutable Methods in Object-Oriented Languages. EuroPLoP 2023: 6:1-6:9 - 2022
- [c17]Stefan Monnier:
Open Closures - Disclosing lambda's inner monomaniac object! ELS 2022: 6-13 - 2019
- [c16]Stefan Monnier:
Inductive types deconstructed: the calculus of united constructions. TyDe@ICFP 2019: 52-63 - [c15]Stefan Monnier
, Nathaniel Bos:
Is Impredicativity Implicitly Implicit? TYPES 2019: 9:1-9:19 - 2013
- [c14]Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka:
Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. CPP 2013: 243-258 - [c13]Francisco Ferreira, Stefan Monnier, Brigitte Pientka:
Compiling contextual objects: bringing higher-order abstract syntax to programmers. PLPV 2013: 13-24 - 2010
- [c12]Stefan Monnier, David Haguenauer:
Singleton types here, singleton types there, singleton types everywhere. PLPV 2010: 1-8 - 2009
- [c11]Tom Schrijvers
, Louis-Julien Guillemette, Stefan Monnier:
Type invariants for Haskell. PLPV 2009: 39-48 - 2008
- [c10]Louis-Julien Guillemette, Stefan Monnier:
A type-preserving compiler in Haskell. ICFP 2008: 75-86 - [c9]Louis-Julien Guillemette, Stefan Monnier:
One Vote for Type Families in Haskell! Trends in Functional Programming 2008: 81-96 - 2007
- [c8]Louis-Julien Guillemette, Stefan Monnier:
A type-preserving closure conversion in haskell. Haskell 2007: 83-92 - [c7]Stefan Monnier:
The swiss coercion. PLPV 2007: 33-40 - 2006
- [c6]Louis-Julien Guillemette, Stefan Monnier:
Type-Safe Code Transformations in Haskell. PLPV@IJCAR 2006: 23-39 - 2005
- [c5]Christopher League
, Stefan Monnier:
Typed Compilation Against Non-manifest Base Classes. CASSIS 2005: 77-98 - 2002
- [c4]Nadeem Abdul Hamid, Zhong Shao
, Valery Trifonov, Stefan Monnier, Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100 - 2001
- [c3]Stefan Monnier, Bratin Saha, Zhong Shao
:
Principled Scavenging. PLDI 2001: 81-91 - 1999
- [c2]Dominik Madon, Eduardo Sanchez, Stefan Monnier:
A Study of a Simultaneous Multithreaded Processor Implementation. Euro-Par 1999: 716-726 - 1998
- [c1]Zhong Shao
, Christopher League
, Stefan Monnier:
Implementing Typed Intermediate Languages. ICFP 1998: 313-323
Informal and Other Publications
- 2021
- [i2]Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka:
Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). CoRR abs/2111.08099 (2021) - 2020
- [i1]Stefan Monnier:
SMIE: Weakness is Power!: Auto-indentation with incomplete information. CoRR abs/2006.03103 (2020)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-30 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint