Conferences in DBLP

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

1. Norman Ramsey, Simon L. Peyton Jones
   The C - compiler infrastructure. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:1- [Conf]
   
2. John Launchbury
   Galois: high assurance software. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:3- [Conf]
   
3. Simon Marlow, Simon L. Peyton Jones
   Making a fast curry: push/enter vs. eval/apply for higher-order languages. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:4-15 [Conf]
   
4. David Herman, Philippe Meunier
   Improving the static analysis of embedded languages via partial evaluation. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:16-27 [Conf]
   
5. Jan Christiansen, Frank Huch
   Searching for deadlocks while debugging concurrent haskell programs. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:28-39 [Conf]
   
6. Zena M. Ariola, Hugo Herbelin, Amr Sabry
   A type-theoretic foundation of continuations and prompts. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:40-53 [Conf]
   
7. Mitchell Wand, Dale Vaillancourt
   Relating models of backtracking. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:54-65 [Conf]
   
8. Paul Graham
   Don't make the wrong mistakes: programming as debugging. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:66- [Conf]
   
9. Niklas Broberg, Andreas Farre, Josef Svenningsson
   Regular expression patterns. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:67-78 [Conf]
   
10. Olin Shivers, David Fisher
    Multi-return function call. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:79-89 [Conf]
    
11. Andrew P. Tolmach, Sergio Antoy, Marius Nita
    Implementing functional logic languages using multiple threads and stores. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:90-102 [Conf]
    
12. Matthew Fluet, J. Gregory Morrisett
    Monadic regions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:103-114 [Conf]
    
13. Stephen Tse, Steve Zdancewic
    Translating dependency into parametricity. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:115-125 [Conf]
    
14. Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
    Types for path correctness of XML queries. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:126-137 [Conf]
    
15. Peter Møller Neergaard, Harry G. Mairson
    Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:138-149 [Conf]
    
16. Nadji Gauthier, François Pottier
    Numbering matters: first-order canonical forms for second-order recursive types. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:150-161 [Conf]
    
17. Ulf Wiger
    20 years of industrial functional programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:162- [Conf]
    
18. Kohei Honda
    From process logic to program logic. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:163-174 [Conf]
    
19. Dachuan Yu, Zhong Shao
    Verification of safety properties for concurrent assembly code. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:175-188 [Conf]
    
20. Matthias Blume, David A. McAllester
    A sound (and complete) model of contracts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:189-200 [Conf]
    
21. Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig
    A nanopass infrastructure for compiler education. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:201-212 [Conf]
    
22. Markus Forsberg, Aarne Ranta
    Functional morphology. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:213-223 [Conf]
    
23. Robert Bruce Findler, Matthew Flatt
    Slideshow: functional presentations. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:224-235 [Conf]
    
24. Ralf Hinze
    Generics for the masses. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:236-243 [Conf]
    
25. Ralf Lämmel, Simon L. Peyton Jones
    Scrap more boilerplate: reflection, zips, and generalised casts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:244-255 [Conf]