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