11. ICFP 2006: Portland, Oregon, USA
John H. Reppy, Julia L. Lawall (Eds.): Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. ACM 2006 ISBN 1-59593-309-3
Session 1
- R. Kent Dybvig: The development of Chez Scheme. 1-12
Session 2
- Matthew Might, Olin Shivers: Improving flow analyses via GammaCFA: abstract garbage collection and counting. 13-25
- David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August: Static typing for a faulty lambda calculus. 38-49
Session 3
- Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. 50-61
- Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. 62-73
Session 4
- Andreas Rossberg: The missing link: dynamic components for ML. 99-110
Session 5
- Marc Shapiro: Practical proofs of concurrent programs. 123
Session 6
- Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Stabilizers: a modular checkpointing abstraction for concurrent functional programs. 136-147
Session 7
- Adam Chlipala: Modular development of certified program verifiers with a proof assistant. 160-171
- Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov: Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. 172-183
- Grigore Rosu: Equality of streams is a Pi0 over 2-complete problem. 184-191
Session 8
- Alain Frisch: OCaml + XDuce. 192-200
Session 9
- Richard S. Bird: Fifteen years of functional pearls. 215
Session 10
- Shin-ya Katsumata, Susumu Nishimura: Algebraic fusion of functions with an accumulating parameter and its improvement. 227-238
Session 11
- Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. 251-262
- Martín Abadi: Access control in a core calculus of dependency. 263-273
- Chuan-Kai Lin: Programming monads operationally with Unimo. 274-285
- Pierre-Malo Deniélou, James J. Leifer: Abstraction preservation and subtyping in distributed languages. 286-297
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team