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 BibTeX

Session 1

R. Kent Dybvig:
The development of Chez Scheme. 1-12
Electronic Edition (ACM DL) BibTeX

Session 2

Matthew Might, Olin Shivers:
Improving flow analyses via GammaCFA: abstract garbage collection and counting. 13-25
Electronic Edition (ACM DL) BibTeX
Oleg Kiselyov, Chung-chieh Shan, Amr Sabry:
Delimited dynamic binding. 26-37
Electronic Edition (ACM DL) BibTeX
David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August:
Static typing for a faulty lambda calculus. 38-49
Electronic Edition (ACM DL) BibTeX

Session 3

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn:
Simple unification-based type inference for GADTs. 50-61
Electronic Edition (ACM DL) BibTeX
Aleksandar Nanevski, Greg Morrisett, Lars Birkedal:
Polymorphism and separation in hoare type theory. 62-73
Electronic Edition (ACM DL) BibTeX
Keiko Nakata, Jacques Garrigue:
Recursive modules for programming. 74-86
Electronic Edition (ACM DL) BibTeX

Session 4

Scott Owens, Matthew Flatt:
From structures and functors to modules and units. 87-98
Electronic Edition (ACM DL) BibTeX
Andreas Rossberg:
The missing link: dynamic components for ML. 99-110
Electronic Edition (ACM DL) BibTeX
David Fisher, Olin Shivers:
Static analysis for syntax objects. 111-121
Electronic Edition (ACM DL) BibTeX

Session 5

Marc Shapiro:
Practical proofs of concurrent programs. 123
Electronic Edition (ACM DL) BibTeX

Session 6

Kevin Donnelly, Matthew Fluet:
Transactional events. 124-135
Electronic Edition (ACM DL) BibTeX
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. 136-147
Electronic Edition (ACM DL) BibTeX
Malcolm Dowse, Andrew Butterfield:
Modelling deterministic concurrent I/O. 148-159
Electronic Edition (ACM DL) BibTeX

Session 7

Adam J. Chlipala:
Modular development of certified program verifiers with a proof assistant. 160-171
Electronic Edition (ACM DL) BibTeX
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov:
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. 172-183
Electronic Edition (ACM DL) BibTeX
Grigore Rosu:
Equality of streams is a Pi0 over 2-complete problem. 184-191
Electronic Edition (ACM DL) BibTeX

Session 8

Alain Frisch:
OCaml + XDuce. 192-200
Electronic Edition (ACM DL) BibTeX
Shinya Kawanaka, Haruo Hosoya:
biXid: a bidirectional transformation language for XML. 201-214
Electronic Edition (ACM DL) BibTeX

Session 9

Richard S. Bird:
Fifteen years of functional pearls. 215
Electronic Edition (ACM DL) BibTeX

Session 10

Björn Bringert, Aarne Ranta:
A pattern for almost compositional functions. 216-226
Electronic Edition (ACM DL) BibTeX
Shin-ya Katsumata, Susumu Nishimura:
Algebraic fusion of functions with an accumulating parameter and its improvement. 227-238
Electronic Edition (ACM DL) BibTeX
Matthias Blume, Umut A. Acar, Wonseok Chae:
Extensible programming with first-class cases. 239-250
Electronic Edition (ACM DL) BibTeX

Session 11

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones:
Boxy types: inference for higher-rank types and impredicativity. 251-262
Electronic Edition (ACM DL) BibTeX
Martín Abadi:
Access control in a core calculus of dependency. 263-273
Electronic Edition (ACM DL) BibTeX
Chuan-Kai Lin:
Programming monads operationally with Unimo. 274-285
Electronic Edition (ACM DL) BibTeX
Pierre-Malo Deniélou, James J. Leifer:
Abstraction preservation and subtyping in distributed languages. 286-297
Electronic Edition (ACM DL) BibTeX