Conferences in DBLP
Anindya Banerjee A Modular, Polyvariant, and Type-Based Closure Analysis. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:1-10 [Conf ] Allyn Dimock , Robert Muller , Franklyn A. Turbak , J. B. Wells Strongly Typed Flow-Directed Representation Transformations. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:11-24 [Conf ] Jeffrey M. Bell , Françoise Bellegarde , James Hook Type-Driven Defunctionalization. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:25-37 [Conf ] Kirsten Lackner Solberg Gasser , Flemming Nielson , Hanne Riis Nielson Systematic Realisation of Control Flow Analyses for CML. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:38-51 [Conf ] Martin Erwig Functional Programming with Graphs. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:52-65 [Conf ] Chris Okasaki Catenable Double-Ended Queues. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:66-74 [Conf ] Manuel Fähndrich , John Boyland Statically Checkable Pattern Abstractions. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:75-84 [Conf ] Zhong Shao Flexible Representation Analysis. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:85-98 [Conf ] J. Michael Ashley The Effectiveness of Flow Analysis for Inlining. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:99-111 [Conf ] Matthias Blume , Andrew W. Appel Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:112-124 [Conf ] Karl Crary Foundations for the Implementation of Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:125-135 [Conf ] Simon Marlow , Philip Wadler A Practical Subtyping System For Erlang. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:136-149 [Conf ] Nevin Heintze , David A. McAllester On the Complexity of Set-Based Analysis. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:150-163 [Conf ] Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi , Akihiko Takano Tupling Calculation Eliminates Multiple Data Traversals. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:164-175 [Conf ] Wei-Ngan Chin , Masami Hagiya A Bounds Inference Method for Vector-Based Memoisation. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:176-187 [Conf ] Julia L. Lawall , Harry G. Mairson on Global Dynamics of Optimal Graph Reduction. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:188-195 [Conf ] Joe L. Armstrong The Development of Erlang. [Citation Graph (1, 0)][DBLP ] ICFP, 1997, pp:196-203 [Conf ] Dirk Dussart , John Hughes , Peter Thiemann Type Specialization for Imperative Languages. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:204-216 [Conf ] Koji Kagawa Compositional References for Stateful Functional Programming. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:217-226 [Conf ] John Launchbury , Amr Sabry Monadic State: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:227-238 [Conf ] Scott Draves Implementing Bit-addressing with Specialization. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:239-250 [Conf ] Koen Claessen , Ton Vullinghs , Erik Meijer Structuring Graphical Paradigms in TkGofer. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:251-262 [Conf ] Conal Elliott , Paul Hudak Functional Reactive Animation. [Citation Graph (1, 0)][DBLP ] ICFP, 1997, pp:263-273 [Conf ] Olin Shivers Automatic Management of Operating System Resources. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:274-279 [Conf ] Cristian Ungureanu , Benjamin Goldberg Formal Models of Distributed Memory Management. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:280-291 [Conf ] Michael W. Hicks , Jonathan T. Moore , Scott Nettles The Measured Cost of Copying Garbage Collection Mechanisms. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:292-305 [Conf ] Kris Aerts , Karel De Vlaminck A GUI on Top of a Functional Language. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:308- [Conf ] Koen Claessen Graphs in Compilation. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:309- [Conf ] Byron Cook , John Launchbury Disposable Memo Functions (Extended Abstract). [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:310- [Conf ] Chris Dornan Affordable Dynamic Types. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:311- [Conf ] Étienne Duris Functional Programming and Attribute Grammars Deforestation. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:312- [Conf ] Natalio Krasnogor , Pablo E. Martínez López , Pablo Mocciola , David A. Pelta Protien Folding meets Functional Programming. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:313- [Conf ] Natalio Krasnogor , Pablo E. Martínez López , Pablo Mocciola , David A. Pelta Modelling String Folding with G2L Grammars. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:314- [Conf ] Eero Lassila A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:315- [Conf ] Bruce J. McAdam BigTypes in ML. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:316- [Conf ] Cristóbal Pareja-Flores , J. Ángel Velázquez-Iturbide Synthesis of Functions by Transformations and Constraints. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:317- [Conf ] Gilles Richard , Frédéric Saubion , A. Tellez-Arenas Intensional Sets Using Explicit Substitutions. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:318- [Conf ] Viktor K. Sabelfeld , Andrei Sabelfeld Simple Semantic Analysis Problems for Functional Programs. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:319- [Conf ] Eleni Spiliopoulou , Ian Holyer , Neil Davies Distributed Programming, a Purely Functional Approach. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:320- [Conf ] Walid Taha , Tim Sheard Multi-Stage Programming. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:321- [Conf ] Guilhem de Wailly Lambda-Flow: A Parallel Functional Synchronous Dataflow Language. [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:322- [Conf ] Bjarte M. Østvold Inductive Synthesis of Recursive Functional Programs (Poster Abstract). [Citation Graph (0, 0)][DBLP ] ICFP, 1997, pp:323- [Conf ]