Conferences in DBLP
Peter Sewell , Francesco Zappa Nardelli , Scott Owens , Gilles Peskine , Tom Ridge , Susmit Sarkar , Rok Strnisa Ott: effective tool support for the working semanticist. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Wazny Experience report: functional programming in c-rules. [Citation Graph (0, 0)][DBLP ] Conf ] Don Syme , Gregory Neverov , James Margetson Extensible pattern matching via a lightweight language extension. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Danvy , J. Michael Spivey On Barron and Strachey's cartesian product function. [Citation Graph (0, 0)][DBLP ] Conf ] Kazutaka Matsuda , Zhenjiang Hu , Keisuke Nakano , Makoto Hamana , Masato Takeichi Bidirectionalization transformation based on automatic derivation of view complement functions. [Citation Graph (0, 0)][DBLP ] Conf ] Conal Elliott Tangible functional programming. [Citation Graph (0, 0)][DBLP ] Conf ] Damien Sereni Termination analysis and call graph construction for higher-order functional programs. [Citation Graph (0, 0)][DBLP ] Conf ] David Van Horn , Harry G. Mairson Relating complexity and precision in control flow analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Filinski , Kristian Støvring Inductive reasoning about effectful data types. [Citation Graph (0, 0)][DBLP ] Conf ] Daan Leijen A type directed translation of MLF to system F. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Lloyd Declarative programming for artificial intelligence applications. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Åke Fredlund , Hans Svensson McErlang: a model checker for a distributed functional programming language. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Sims , Daniel C. DuVarney Experience report: the reactis validation tool. [Citation Graph (0, 0)][DBLP ] Conf ] Rinus Plasmeijer , Peter Achten , Pieter W. M. Koopman iTasks: executable specifications of interactive work flow systems for the web. [Citation Graph (0, 0)][DBLP ] Conf ] Noel Welsh , David Gurnell Experience report: scheme in commercial web application development. [Citation Graph (0, 0)][DBLP ] Conf ] David Herman Functional pearl: the great escape or, how to jump the border without getting caught. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Flatt , Gang Yu , Robert Bruce Findler , Matthias Felleisen Adding delimited and composable control to a production programming environment. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Kennedy Compiling with continuations, continued. [Citation Graph (0, 0)][DBLP ] Conf ] Sungwoo Park Type-safe higher-order channels in ML-like languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Nyström , Philip W. Trinder , David J. King Evaluating high-level distributed language constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Clifford Beshers , David Fox , Jeremy Shaw Experience report: using functional programming to manage a linux distribution. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Subtyping and intersection types revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Leif Frenzel Experience report: building an eclipse-based IDE for Haskell. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Ennals , David Gay User-friendly functional programming for web mashups. [Citation Graph (0, 0)][DBLP ] Conf ] Jurriaan Hage , Stefan Holdermans , Arie Middelkoop A generic usage analysis with subeffect qualifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Cooper , Steve McKeever Experience report: a Haskell interpreter for cellML. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Harris , Satnam Singh Feedback directed implicit parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Braßel , Michael Hanus , Sebastian Fischer , Frank Huch , Germán Vidal Lazy call-by-value evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Marlow , Alexey Rodriguez Yakushev , Simon L. Peyton Jones Faster laziness using dynamic pointer tagging. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Dreyer A type system for recursive modules. [Citation Graph (0, 0)][DBLP ] Conf ] Abdulaziz Ghuloum , R. Kent Dybvig Implicit phasing for R6RS libraries. [Citation Graph (0, 0)][DBLP ] Conf ] Duncan Coutts , Roman Leshchinskiy , Don Stewart Stream fusion: from lists to streams to nothing at all. [Citation Graph (0, 0)][DBLP ] Conf ] Simon L. Peyton Jones Call-pattern specialisation for haskell programs. [Citation Graph (0, 0)][DBLP ] Conf ] 