Conferences in DBLP

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

1. François Pottier
   From ML type inference to stratified type inference. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:1- [Conf]
   
2. Olin Shivers
   The anatomy of a loop: a story of scope and control. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:2-14 [Conf]
   
3. Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
   Acute: high-level programming language design for distributed computation. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:15-26 [Conf]
   
4. Norman Ramsey, Kathleen Fisher, Paul Govereau
   An expressive language of signatures. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:27-40 [Conf]
   
5. Derek Dreyer
   Recursive type generativity. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:41-53 [Conf]
   
6. Henrik Nilsson
   Dynamic optimization for functional reactive programming using generalized algebraic data types. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:54-65 [Conf]
   
7. Chiyan Chen, Hongwei Xi
   Combining programming with theorem proving. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:66-77 [Conf]
   
8. Amal J. Ahmed, Matthew Fluet, Greg Morrisett
   A step-indexed model of substructural state. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:78-91 [Conf]
   
9. Michael F. Ringenburg, Dan Grossman
   AtomCaml: first-class atomicity via rollback. [Citation Graph (0, 0)][DBLP]
   ICFP, 2005, pp:92-104 [Conf]
   
10. Tachio Terauchi, Alexander Aiken
    Witnessing side-effects. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:105-115 [Conf]
    
11. Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach
    A principled approach to operating system construction in Haskell. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:116-128 [Conf]
    
12. Brendan Eich
    JavaScript at ten years. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:129- [Conf]
    
13. Didier Rémy
    Simple, partial type-inference for System F based on type-containment. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:130-143 [Conf]
    
14. Daan Leijen, Andres Löh
    Qualified types for MLF. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:144-155 [Conf]
    
15. Henning Makholm, J. B. Wells
    Type inference, principal typings, and let-polymorphism for first-class mixin modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:156-167 [Conf]
    
16. Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
    High-level views on low-level representations. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:168-179 [Conf]
    
17. James Cheney
    Scrap your nameplate: (functional pearl). [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:180-191 [Conf]
    
18. Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry
    Backtracking, interleaving, and terminating monad transformers: (functional pearl). [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:192-203 [Conf]
    
19. Ralf Lämmel, Simon L. Peyton Jones
    Scrap your boilerplate with class: extensible generic functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:204-215 [Conf]
    
20. Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen
    Continuations from generalized stack inspection. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:216-227 [Conf]
    
21. J. Guadalupe Ramos, Josep Silva, Germán Vidal
    Fast narrowing-driven partial evaluation for inductively sequential programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:228-239 [Conf]
    
22. Robert Harper
    Mechanizing the meta-theory of programming languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:240- [Conf]
    
23. Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones
    Associated type synonyms. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:241-253 [Conf]
    
24. Xinyu Feng, Zhong Shao
    Modular verification of concurrent assembly code with dynamic thread creation and termination. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:254-267 [Conf]
    
25. Edwin M. Westbrook, Aaron Stump, Ian Wehrman
    A language-based approach to functionally correct imperative programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:268-279 [Conf]
    
26. Martin Berger, Kohei Honda, Nobuko Yoshida
    A logical analysis of aliasing in imperative higher-order functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:280-293 [Conf]
    
27. Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
    Monadic augment and generalised short cut fusion. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:294-305 [Conf]
    
28. Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
    Poly_AML: a polymorphic aspect-oriented functional programming language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:306-319 [Conf]
    
29. Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa
    Aspectual Caml: an aspect-oriented functional language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:320-330 [Conf]