- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 14 |      | Stefan Monnier, David Haguenauer: Singleton types here, singleton types there, singleton types everywhere. PLPV 2010: 1-8 |
| 2009 | ||
| 13 | | Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier: Type invariants for Haskell. PLPV 2009: 39-48 |
| 12 | | Stefan Monnier, David Haguenauer: Singleton types here, singleton types there, singleton types everywhere: (abstract only). SIGPLAN Notices 44(11): 6 (2009) |
| 2008 | ||
| 11 | | Louis-Julien Guillemette, Stefan Monnier: A type-preserving compiler in Haskell. ICFP 2008: 75-86 |
| 2007 | ||
| 10 | | Louis-Julien Guillemette, Stefan Monnier: A type-preserving closure conversion in haskell. Haskell 2007: 83-92 |
| 9 | | Stefan Monnier: The swiss coercion. PLPV 2007: 33-40 |
| 8 | | Louis-Julien Guillemette, Stefan Monnier: Type-Safe Code Transformations in Haskell. Electr. Notes Theor. Comput. Sci. 174(7): 23-39 (2007) |
| 2005 | ||
| 7 | | Christopher League, Stefan Monnier: Typed Compilation Against Non-manifest Base Classes. CASSIS 2005: 77-98 |
| 2003 | ||
| 6 | | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reasoning 31(3-4): 191-229 (2003) |
| 5 | | Stefan Monnier, Zhong Shao: Inlining as staged computation. J. Funct. Program. 13(3): 647-676 (2003) |
| 2002 | ||
| 4 | | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100 |
| 2001 | ||
| 3 | | Stefan Monnier, Bratin Saha, Zhong Shao: Principled Scavenging. PLDI 2001: 81-91 |
| 1999 | ||
| 2 | | Dominik Madon, Eduardo Sanchez, Stefan Monnier: A Study of a Simultaneous Multithreaded Processor Implementation. Euro-Par 1999: 716-726 |
| 1998 | ||
| 1 | | Zhong Shao, Christopher League, Stefan Monnier: Implementing Typed Intermediate Languages. ICFP 1998: 313-323 |
| 1 | Louis-Julien Guillemette | [8] [10] [11] [13] |
| 2 | David Haguenauer | [12] [14] |
| 3 | Nadeem Abdul Hamid | [4] [6] |
| 4 | Christopher League | [1] [7] |
| 5 | Dominik Madon | [2] |
| 6 | Zhaozhong Ni | [4] [6] |
| 7 | Bratin Saha | [3] |
| 8 | Eduardo Sanchez | [2] |
| 9 | Tom Schrijvers | [13] |
| 10 | Zhong Shao | [1] [3] [4] [5] [6] |
| 11 | Valery Trifonov | [4] [6] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page