The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Andrew M. Pitts
    A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:1- [Conf]
  2. Matthew Fluet, Stephen Weeks
    Contification Using Dominators. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:2-13 [Conf]
  3. Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
    Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:14-25 [Conf]
  4. Fabrice Le Fessant, Luc Maranget
    Optimizing Pattern Matching. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:26-37 [Conf]
  5. Matthias Neubauer, Michael Sperber
    Down with Emacs Lisp: Dynamic Scope Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:38-49 [Conf]
  6. Claudio V. Russo
    Recursive Structures for Standard ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:50-61 [Conf]
  7. Dominic Duggan
    Type-Based Hot Swapping of Running Modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:62-73 [Conf]
  8. Steven E. Ganz, Amr Sabry, Walid Taha
    Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:74-85 [Conf]
  9. Tim Sheard
    Generic Unification via Two-Level Types and Parameterized Modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:86-97 [Conf]
  10. Tyng-Ruey Chuang
    Generic Validation of Structural Content with Parametric Modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:98-109 [Conf]
  11. Ralf Hinze
    A Simple Implementation Technique for Priority Search Queues. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:110-121 [Conf]
  12. Michael Sperber
    Developing a Stage Lighting System from Scratch. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:122-133 [Conf]
  13. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    Charting Patterns on Price History. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:134-145 [Conf]
  14. Zhanyong Wan, Walid Taha, Paul Hudak
    Real-Time FRP. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:146-156 [Conf]
  15. George Russell
    Events in Haskell, and How to Implement Them. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:157-168 [Conf]
  16. Hongwei Xi, Robert Harper
    A Dependently Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:169-180 [Conf]
  17. David Walker, Kevin Watkins
    On Regions and Linear Types. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:181-192 [Conf]
  18. Olaf Chitil
    Compositional Explanation of Types and Algorithmic Debugging of Type Errors. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:193-204 [Conf]
  19. Manuel M. T. Chakravarty, Gabriele Keller
    Functional Array Fusion. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:205-216 [Conf]
  20. Aleksandar Nanevski, Guy E. Blelloch, Robert Harper
    Automatic Generation of Staged Geometric Predicates. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:217-228 [Conf]
  21. Ross Paterson
    A New Notation for Arrows. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:229-240 [Conf]
  22. Matthias Zenger, Martin Odersky
    Extensible Algebraic Datatypes with Defaults. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:241-252 [Conf]
  23. Bernd Grobauer
    Cost Recurrences for DML Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:253-264 [Conf]
  24. Jörgen Gustavsson, David Sands
    Possibilities and Limitations of Call-by-Need Space Improvement. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:265-276 [Conf]
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