33. POPL 2006:
Charleston, South Carolina, USA J. Gregory Morrisett , Simon L. Peyton Jones (Eds.):
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006.
ACM 2006, ISBN 1-59593-027-2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Xavier Leroy :
Formal certification of a compiler back-end or: programming a compiler with a proof assistant.
42-54
export record as
dblp key:
export record as
dblp key:
Mads Dam :
Decidability and proof systems for language-based noninterference relations.
67-78
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Odersky :
The Scala experiment: can we provide better language support for component systems?
166-167
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/popl/DanielssonHJG06 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tim Sweeney :
The next mainstream programming language: a game developer's perspective.
269
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hayo Thielecke :
Frame rules from answer types for code pointers.
309-319
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yi Lu ,
John Potter :
Protecting representation with effect encapsulation.
359-371
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
