13. ICFP 2008:
Victoria, BC, Canada James Hook , Peter Thiemann (Eds.):
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008.
ACM 2008, ISBN 978-1-59593-919-7
export record as
dblp key:
Session 1
export record as
dblp key:
export record as
dblp key:
Session 2
export record as
dblp key:
export record as
dblp key:
Session 3
export record as
dblp key:
conf/icfp/SchrijversJCS08 export record as
dblp key:
Session 4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fritz Henglein :
Generic discrimination: sorting and paritioning unshared data in linear time.
91-102
Session 5
export record as
dblp key:
conf/icfp/Effinger-DeanKG08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Olivier Danvy :
Defunctionalized interpreters for programming languages.
131-142
Session 6
export record as
dblp key:
Adam Chlipala :
Parametric higher-order abstract syntax for mechanized semantics.
143-156
export record as
dblp key:
Session 7
export record as
dblp key:
export record as
dblp key:
Session 8
export record as
dblp key:
Ralf Hinze :
Functional pearl: streams and unique fixed points.
189-200
export record as
dblp key:
Session 9
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 10
export record as
dblp key:
export record as
dblp key:
conf/icfp/SpoonhowerBHG08 export record as
dblp key:
Mark P. Jones :
Polymorphism and page tables: systems programming from a functional programmer's perspective.
265-266
Session 11
export record as
dblp key:
Alexander Krauss :
Pattern minimization problems over recursive data types.
267-274
export record as
dblp key:
Session 12
export record as
dblp key:
Daan Leijen :
HMF: simple type inference for first-class polymorphism.
283-294
export record as
dblp key:
Session 13
export record as
dblp key:
export record as
dblp key:
Session 14
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 15
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Programming contest
export record as
dblp key:
conf/icfp/DolstraHHHJLLMRS08
data released under the ODC-BY 1.0 license
