
Conferences in DBLP
Graph Parser Combinators. [Citation Graph (, )][DBLP]
Testing Erlang Refactorings with QuickCheck. [Citation Graph (, )][DBLP]
Optimal Lambda Lifting in Quadratic Time. [Citation Graph (, )][DBLP]
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. [Citation Graph (, )][DBLP]
XHaskell  Adding Regular Expression Types to Haskell. [Citation Graph (, )][DBLP]
Partial Parsing: Combining Choice with Commitment. [Citation Graph (, )][DBLP]
Lazy Contract Checking for Immutable Data Structures. [Citation Graph (, )][DBLP]
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. [Citation Graph (, )][DBLP]
A Supercompiler for Core Haskell. [Citation Graph (, )][DBLP]
Checking Dependent Types Using Compiled Code. [Citation Graph (, )][DBLP]
Debugging Lazy Functional Programs by Asking the Oracle. [Citation Graph (, )][DBLP]
Uniqueness Typing Simplified. [Citation Graph (, )][DBLP]
Tabular Expressions and Total Functional Programming. [Citation Graph (, )][DBLP]
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler. [Citation Graph (, )][DBLP]
From Contracts Towards Dependent Types: Proofs by Partial Evaluation. [Citation Graph (, )][DBLP]
