Conferences in DBLP

ACM SIGPLAN International Conference on Functional Programming (ICFP) (icfp)
2008 (conf/icfp/2008)

1. 
   Lazy and speculative execution in computer systems. [Citation Graph (, )][DBLP]
   
   
2. 
   FLUX: functional updates for XML. [Citation Graph (, )][DBLP]
   
   
3. 
   Typed iterators for XML. [Citation Graph (, )][DBLP]
   
   
4. 
   AURA: a programming language for authorization and audit. [Citation Graph (, )][DBLP]
   
   
5. 
   The power of Pi. [Citation Graph (, )][DBLP]
   
   
6. 
   Type checking with open type functions. [Citation Graph (, )][DBLP]
   
   
7. 
   From ML to ML^F: graphic type constraints with efficient type inference. [Citation Graph (, )][DBLP]
   
   
8. 
   A type-preserving compiler in Haskell. [Citation Graph (, )][DBLP]
   
   
9. 
   Experience report: playing the DSL card. [Citation Graph (, )][DBLP]
   
   
10. 
    Generic discrimination: sorting and paritioning unshared data in linear time. [Citation Graph (, )][DBLP]
    
    
11. 
    Transactional events for ML. [Citation Graph (, )][DBLP]
    
    
12. 
    Experience report: erlang in acoustic ray tracing. [Citation Graph (, )][DBLP]
    
    
13. 
    Implicitly-threaded parallelism in Manticore. [Citation Graph (, )][DBLP]
    
    
14. 
    Defunctionalized interpreters for programming languages. [Citation Graph (, )][DBLP]
    
    
15. 
    Parametric higher-order abstract syntax for mechanized semantics. [Citation Graph (, )][DBLP]
    
    
16. 
    Typed closure conversion preserves observational equivalence. [Citation Graph (, )][DBLP]
    
    
17. 
    Write it recursively: a generic framework for optimal path queries. [Citation Graph (, )][DBLP]
    
    
18. 
    Efficient nondestructive equality checking for trees and graphs. [Citation Graph (, )][DBLP]
    
    
19. 
    Functional pearl: streams and unique fixed points. [Citation Graph (, )][DBLP]
    
    
20. 
    Data-flow testing of declarative programs. [Citation Graph (, )][DBLP]
    
    
21. 
    Functional translation of a calculus of capabilities. [Citation Graph (, )][DBLP]
    
    
22. 
    Paradise: a two-stage DSL embedded in Haskell. [Citation Graph (, )][DBLP]
    
    
23. 
    Ynot: dependent types for imperative programs. [Citation Graph (, )][DBLP]
    
    
24. 
    A scheduling framework for general-purpose parallel languages. [Citation Graph (, )][DBLP]
    
    
25. 
    Space profiling for parallel functional programs. [Citation Graph (, )][DBLP]
    
    
26. 
    Polymorphism and page tables: systems programming from a functional programmer's perspective. [Citation Graph (, )][DBLP]
    
    
27. 
    Pattern minimization problems over recursive data types. [Citation Graph (, )][DBLP]
    
    
28. 
    Deciding kCFA is complete for EXPTIME. [Citation Graph (, )][DBLP]
    
    
29. 
    HMF: simple type inference for first-class polymorphism. [Citation Graph (, )][DBLP]
    
    
30. 
    FPH: first-class polymorphism for Haskell. [Citation Graph (, )][DBLP]
    
    
31. 
    Mixin' up the ML module system. [Citation Graph (, )][DBLP]
    
    
32. 
    Compiling self-adjusting programs with continuations. [Citation Graph (, )][DBLP]
    
    
33. 
    Flask: staged functional programming for sensor networks. [Citation Graph (, )][DBLP]
    
    
34. 
    Experience report: a pure shirt fits. [Citation Graph (, )][DBLP]
    
    
35. 
    Functional netlists. [Citation Graph (, )][DBLP]
    
    
36. 
    NixOS: a purely functional Linux distribution. [Citation Graph (, )][DBLP]
    
    
37. 
    Experience report: visualizing data through functional pipelines. [Citation Graph (, )][DBLP]
    
    
38. 
    Quotient lenses. [Citation Graph (, )][DBLP]
    
    
39. 
    Report on the tenth ICFP programming contest. [Citation Graph (, )][DBLP]