| 2008 |
|---|
| 11 | EE | Louis-Julien Guillemette,
Stefan Monnier:
A type-preserving compiler in Haskell.
ICFP 2008: 75-86 |
| 2007 |
|---|
| 10 | EE | Louis-Julien Guillemette,
Stefan Monnier:
A type-preserving closure conversion in haskell.
Haskell 2007: 83-92 |
| 9 | EE | Stefan Monnier:
The swiss coercion.
PLPV 2007: 33-40 |
| 8 | EE | Louis-Julien Guillemette,
Stefan Monnier:
Type-Safe Code Transformations in Haskell.
Electr. Notes Theor. Comput. Sci. 174(7): 23-39 (2007) |
| 2005 |
|---|
| 7 | EE | Christopher League,
Stefan Monnier:
Typed Compilation Against Non-manifest Base Classes.
CASSIS 2005: 77-98 |
| 2003 |
|---|
| 6 | EE | 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 | EE | Stefan Monnier,
Zhong Shao:
Inlining as staged computation.
J. Funct. Program. 13(3): 647-676 (2003) |
| 2002 |
|---|
| 4 | EE | 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 | EE | Dominik Madon,
Eduardo Sanchez,
Stefan Monnier:
A Study of a Simultaneous Multithreaded Processor Implementation.
Euro-Par 1999: 716-726 |
| 1998 |
|---|
| 1 | EE | Zhong Shao,
Christopher League,
Stefan Monnier:
Implementing Typed Intermediate Languages.
ICFP 1998: 313-323 |
