34. POPL 2007:
Nice, France Martin Hofmann , Matthias Felleisen (Eds.):
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007.
ACM 2007, ISBN 1-59593-575-4 Keynote session
export record as
dblp key:
Session 1
export record as
dblp key:
export record as
dblp key:
conf/popl/AvgustinovHOMSTV07 export record as
dblp key:
Juan Chen :
A typed intermediate language for compiling multiple inheritance.
25-30
Session 2
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/popl/MandelbaumFWFG07 export record as
dblp key:
Session 4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Keynote session
export record as
dblp key:
Don S. Batory :
From implementation to theory in product synthesis.
135-136
Session 6
export record as
dblp key:
Ralf Lämmel :
Scrap your boilerplate with XPath-like combinators.
137-142
export record as
dblp key:
export record as
dblp key:
Session 7
export record as
dblp key:
export record as
dblp key:
Session 8
export record as
dblp key:
Matthew Might :
Logic-flow analysis of higher-order programs.
185-198
export record as
dblp key:
export record as
dblp key:
Session 9
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Keynote session
export record as
dblp key:
Chet Murthy :
Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter.
263-264
Session 10
export record as
dblp key:
export record as
dblp key:
Session 11
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 12
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 13
export record as
dblp key:
export record as
dblp key:
Dan R. Ghica :
Geometry of synthesis: a structured approach to VLSI design.
363-375
export record as
dblp key:
data released under the ODC-BY 1.0 license
