The SCEAS System
Navigation Menu

Conferences in DBLP

Implementation of Functional Languages (IFL) (ifl)
2007 (conf/ifl/2007)


  1. Graph Parser Combinators. [Citation Graph (, )][DBLP]


  2. Testing Erlang Refactorings with QuickCheck. [Citation Graph (, )][DBLP]


  3. Optimal Lambda Lifting in Quadratic Time. [Citation Graph (, )][DBLP]


  4. The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. [Citation Graph (, )][DBLP]


  5. XHaskell - Adding Regular Expression Types to Haskell. [Citation Graph (, )][DBLP]


  6. Partial Parsing: Combining Choice with Commitment. [Citation Graph (, )][DBLP]


  7. Lazy Contract Checking for Immutable Data Structures. [Citation Graph (, )][DBLP]


  8. The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. [Citation Graph (, )][DBLP]


  9. A Supercompiler for Core Haskell. [Citation Graph (, )][DBLP]


  10. Checking Dependent Types Using Compiled Code. [Citation Graph (, )][DBLP]


  11. Debugging Lazy Functional Programs by Asking the Oracle. [Citation Graph (, )][DBLP]


  12. Uniqueness Typing Simplified. [Citation Graph (, )][DBLP]


  13. Tabular Expressions and Total Functional Programming. [Citation Graph (, )][DBLP]


  14. Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler. [Citation Graph (, )][DBLP]


  15. From Contracts Towards Dependent Types: Proofs by Partial Evaluation. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002