Conferences in DBLP

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

1. Thomas Knight Jr.
   Conservation of information: applications in functional, reversible, and quantum computing. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:1- [Conf]
   
2. Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
   Scripting the type inference process. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:3-13 [Conf]
   
3. Matthias Neubauer, Peter Thiemann
   Discriminative sum types locate the source of type errors. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:15-26 [Conf]
   
4. Didier Le Botlan, Didier Rémy
   ML^F: raising ML to the power of system F. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:27-38 [Conf]
   
5. Vincent Simonet
   An extension of HM(X) with bounded existential and universal data-types. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:39-50 [Conf]
   
6. Véronique Benzaken, Giuseppe Castagna, Alain Frisch
   CDuce: an XML-centric general-purpose language. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:51-63 [Conf]
   
7. Michael Y. Levin
   Compiling regular patterns. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:65-77 [Conf]
   
8. Rex L. Page
   Software is discrete mathematics. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:79-86 [Conf]
   
9. James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
   Global abstraction-safe marshalling with hash types. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:87-98 [Conf]
   
10. Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
    Dynamic rebinding for marshalling and update, with destruct-time? [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:99-110 [Conf]
    
11. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
    Iterative-free program analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:111-123 [Conf]
    
12. Harry G. Mairson
    From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:125- [Conf]
    
13. David Walker, Steve Zdancewic, Jay Ligatti
    A theory of aspects. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:127-139 [Conf]
    
14. Andres Löh, Dave Clarke, Johan Jeuring
    Dependency-style generic Haskell. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:141-152 [Conf]
    
15. Henrik Nilsson
    Functional automatic differentiation with dirac impulses. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:153-164 [Conf]
    
16. Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett
    A user-centred approach to functions in Excel. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:165-176 [Conf]
    
17. Yukiyoshi Kameyama, Masahito Hasegawa
    A sound and complete axiomatization of delimited continuations. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:177-188 [Conf]
    
18. Philip Wadler
    Call-by-value is dual to call-by-name. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:189-201 [Conf]
    
19. Emmanuel Beffara, Vincent Danos
    Disjunctive normal forms and local exceptions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:203-211 [Conf]
    
20. Yitzhak Mandelbaum, David Walker, Robert Harper
    An effective theory of type refinements. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:213-225 [Conf]
    
21. Tomoyuki Higuchi, Atsushi Ohori
    A static type system for JVM access control. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:227-237 [Conf]
    
22. R. John M. Hughes, S. Doaitse Swierstra
    Polish parsers, step by step. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:239-248 [Conf]
    
23. Geoffrey Washburn, Stephanie Weirich
    Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:249-262 [Conf]
    
24. Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay
    FreshML: programming with binders made simple. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:263-274 [Conf]
    
25. Chiyan Chen, Hongwei Xi
    Meta-programming through typeful code representation. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:275-286 [Conf]
    
26. Robert Ennals, Simon L. Peyton Jones
    Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:287-298 [Conf]
    
27. Mitchell Wand
    Understanding aspects: extended abstract. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:299-300 [Conf]