Conferences in DBLP
R. L. Page , B. D. Moe Experience with a Large Scientific Application in a Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Philip W. Grant , J. A. Sharp , Michael F. Webster , X. Zhang Some Issues in a Functional Implementation of a Finite Element Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Y. Kozato , G. P. Otto Benchmarking Real-Life Image Processing Programs in Lazy Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Aiken , Edward L. Wimmers Type Inclusion Constraints and Type Inference. [Citation Graph (1, 0)][DBLP ] Conf ] David J. Lillie Conjunctive Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] Mark P. Jones A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Lennart Augustsson Implementing Haskell Overloading. [Citation Graph (0, 0)][DBLP ] Conf ] Shail Aditya , Alejandro Caro Compiler-directed Type Reconstruction for Polymorphic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Annika Aasa Precedences for Conctypes. [Citation Graph (0, 0)][DBLP ] Conf ] J. Hicks Experiences with Compiler-Directed Storage Reclamation. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick M. Sansom , Simon L. Peyton Jones Generational Garbage Collection for Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Sparud Fixing Some Space Leaks without a Garbage Collector. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Moreau , Daniel Ribbens Sound Rules for Parallel Evaluation of a Functional Language with callcc. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew D. Gordon An Operational Semantics for I/O in a Lazy Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jon G. Riecke Delimiting the Scope of Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Lucas Roh , Walid A. Najjar , A. P. Wim Böhm Generation and Quantitative Evaluation of Dataflow Clusters. [Citation Graph (0, 0)][DBLP ] Conf ] Boon Seong Ang Efficient Implementation of Sequential Loops in Dataflow Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Feeley Polling Efficiently on Stock Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Dave Cattrall , Colin Runciman Widening the Representation Bottleneck: A Functional Implementation of Relational Programming. [Citation Graph (0, 0)][DBLP ] Conf ] F. Liu Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] P. Hammarlund , Björn Lisper On the Relation between Functional and Data Parallel Programming Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Andrew J. Gill , John Launchbury , Simon L. Peyton Jones A Short Cut to Deforestation. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Sheard , Leonidas Fegaras A Fold for All Seasons. [Citation Graph (3, 0)][DBLP ] Conf ] N. Yoshida Optimal Reduction in Weak-Lambda-calculus with Shared Environments. [Citation Graph (0, 0)][DBLP ] Conf ] E. Nocker Strictness Analysis using Abstract Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] A. V. S. Sastry , William D. Clinger , Zena M. Ariola Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates. [Citation Graph (0, 0)][DBLP ] Conf ] S. Purushothaman , Jill Seaman From Operational Definitions to Abstract Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Tyng-Ruey Chuang , Benjamin Goldberg Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Kuchen , Katia Gladitz Parallel Implementation of Bags. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Bondorf , Jens Palsberg Compiling Actions by Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Carlsson , Thomas Hallgren FUDGETS: A Graphical User Interface in a Lazy Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] Sigbjorn Finne , Geoffrey L. Burn Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter H. Hartel , Koen Langendoen Benchmarking Implementations of Lazy Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] 