BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
2 × USA
Collaborated with:
L.Guillemette Z.Shao B.Saha C.League N.A.Hamid V.Trifonov Z.Ni
Talks about:
type (3) preserv (2) haskel (2) intermedi (1) implement (1) principl (1) approach (1) syntact (1) scaveng (1) languag (1)

Person: Stefan Monnier

DBLP DBLP: Monnier:Stefan

Contributed to:

ICFP 20082008
LICS 20022002
PLDI 20012001
ICFP 19981998
Haskell 20072007

Wrote 5 papers:

ICFP-2008-GuillemetteM #compilation #haskell
A type-preserving compiler in Haskell (LJG, SM), pp. 75–86.
LICS-2002-HamidSTMN #approach
A Syntactic Approach to Foundational Proof-Carrying Code (NAH, ZS, VT, SM, ZN), pp. 89–100.
PLDI-2001-MonnierSS
Principled Scavenging (SM, BS, ZS), pp. 81–91.
ICFP-1998-ShaoLM #implementation
Implementing Typed Intermediate Languages (ZS, CL, SM), pp. 313–323.
Haskell-2007-GuillemetteM #haskell
A type-preserving closure conversion in haskell (LJG, SM), pp. 83–92.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.