|
|
Conferences in DBLP
- R. Kent Dybvig
The development of Chez Scheme. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:1-12 [Conf]
- Matthew Might, Olin Shivers
Improving flow analyses via GammaCFA: abstract garbage collection and counting. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:13-25 [Conf]
- Oleg Kiselyov, Chung-chieh Shan, Amr Sabry
Delimited dynamic binding. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:26-37 [Conf]
- David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August
Static typing for a faulty lambda calculus. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:38-49 [Conf]
- Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
Simple unification-based type inference for GADTs. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:50-61 [Conf]
- Aleksandar Nanevski, Greg Morrisett, Lars Birkedal
Polymorphism and separation in hoare type theory. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:62-73 [Conf]
- Keiko Nakata, Jacques Garrigue
Recursive modules for programming. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:74-86 [Conf]
- Scott Owens, Matthew Flatt
From structures and functors to modules and units. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:87-98 [Conf]
- Andreas Rossberg
The missing link: dynamic components for ML. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:99-110 [Conf]
- David Fisher, Olin Shivers
Static analysis for syntax objects. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:111-121 [Conf]
- Marc Shapiro
Practical proofs of concurrent programs. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:123- [Conf]
- Kevin Donnelly, Matthew Fluet
Transactional events. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:124-135 [Conf]
- Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:136-147 [Conf]
- Malcolm Dowse, Andrew Butterfield
Modelling deterministic concurrent I/O. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:148-159 [Conf]
- Adam J. Chlipala
Modular development of certified program verifiers with a proof assistant. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:160-171 [Conf]
- Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:172-183 [Conf]
- Grigore Rosu
Equality of streams is a Pi0 over 2-complete problem. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:184-191 [Conf]
- Alain Frisch
OCaml + XDuce. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:192-200 [Conf]
- Shinya Kawanaka, Haruo Hosoya
biXid: a bidirectional transformation language for XML. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:201-214 [Conf]
- Richard S. Bird
Fifteen years of functional pearls. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:215- [Conf]
- Björn Bringert, Aarne Ranta
A pattern for almost compositional functions. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:216-226 [Conf]
- Shin-ya Katsumata, Susumu Nishimura
Algebraic fusion of functions with an accumulating parameter and its improvement. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:227-238 [Conf]
- Matthias Blume, Umut A. Acar, Wonseok Chae
Extensible programming with first-class cases. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:239-250 [Conf]
- Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
Boxy types: inference for higher-rank types and impredicativity. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:251-262 [Conf]
- Martín Abadi
Access control in a core calculus of dependency. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:263-273 [Conf]
- Chuan-Kai Lin
Programming monads operationally with Unimo. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:274-285 [Conf]
- Pierre-Malo Deniélou, James J. Leifer
Abstraction preservation and subtyping in distributed languages. [Citation Graph (0, 0)][DBLP]
ICFP, 2006, pp:286-297 [Conf]
|
