The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Brad A. Myers
    Towards more natural functional programming languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:1- [Conf]
  2. Ralf Hinze
    Bootstrapping one-sided flexible arrays. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:2-13 [Conf]
  3. Janis Voigtländer
    Concatenate, reverse and map vanish for free. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:14-25 [Conf]
  4. Magnus Carlsson
    Monads for incremental computing. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:26-35 [Conf]
  5. Bryan Ford
    Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:36-47 [Conf]
  6. Robert Bruce Findler, Matthias Felleisen
    Contracts for higher-order functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:48-59 [Conf]
  7. Atsushi Ohori, Kiyoshi Yamatodani
    An interoperable calculus for external object access. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:60-71 [Conf]
  8. Matthew Flatt
    Composable and compilable macros: : you want it when? [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:72-83 [Conf]
  9. Danny Dubé, Marc Feeley
    A demand-driven adaptive type analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:84-97 [Conf]
  10. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
    Exception analysis for non-strict languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:98-109 [Conf]
  11. Todd D. Millstein, Colin Bleckner, Craig Chambers
    Modular typechecking for hierarchically extensible datatypes and functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:110-122 [Conf]
  12. J. Strother Moore
    Functional formal methods. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:123- [Conf]
  13. Josef Svenningsson
    Shortcut fusion for accumulating parameters & zip-like functions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:124-132 [Conf]
  14. Christoph Lüth, Neil Ghani
    Composing monads using coproducts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:133-144 [Conf]
  15. Keith Hanna
    Interactive visual functional programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:145-156 [Conf]
  16. Arthur I. Baars, S. Doaitse Swierstra
    Typing dynamic typing. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:157-166 [Conf]
  17. Peter J. Stuckey, Martin Sulzmann
    A theory of overloading. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:167-178 [Conf]
  18. Matthias Neubauer, Peter Thiemann
    Type classes with more higher-order polymorphism. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:179-190 [Conf]
  19. Karl Crary, Joseph Vanderwaart
    An expressive, scalable type theory for certified code. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:191-205 [Conf]
  20. Aleksandar Nanevski
    Meta-programming with names and necessity. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:206-217 [Conf]
  21. Emir Pasalic, Walid Taha, Tim Sheard
    Tagless staged interpreters for typed languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:218-229 [Conf]
  22. Olivier Danvy, Mayer Goldberg
    There and back again. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:230-234 [Conf]
  23. Benjamin Grégoire, Xavier Leroy
    A compiled implementation of strong reduction. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:235-246 [Conf]
  24. Lars Thomas Hansen, William D. Clinger
    An experimental study of renewal-older-first garbage collection. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:247-258 [Conf]
  25. Bernard P. Serpette, Manuel Serrano
    Compiling scheme to JVM bytecode: : a performance study. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:259-270 [Conf]
  26. Martin Gasbichler, Michael Sperber
    Final shift for call/cc: : direct implementation of shift and reset. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:271-282 [Conf]
  27. Neil D. Jones, Arne J. Glenstrup
    Program generation, termination, and binding-time analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:283- [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