The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Anindya Banerjee
    A Modular, Polyvariant, and Type-Based Closure Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:1-10 [Conf]
  2. Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells
    Strongly Typed Flow-Directed Representation Transformations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:11-24 [Conf]
  3. Jeffrey M. Bell, Françoise Bellegarde, James Hook
    Type-Driven Defunctionalization. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:25-37 [Conf]
  4. Kirsten Lackner Solberg Gasser, Flemming Nielson, Hanne Riis Nielson
    Systematic Realisation of Control Flow Analyses for CML. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:38-51 [Conf]
  5. Martin Erwig
    Functional Programming with Graphs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:52-65 [Conf]
  6. Chris Okasaki
    Catenable Double-Ended Queues. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:66-74 [Conf]
  7. Manuel Fähndrich, John Boyland
    Statically Checkable Pattern Abstractions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:75-84 [Conf]
  8. Zhong Shao
    Flexible Representation Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:85-98 [Conf]
  9. J. Michael Ashley
    The Effectiveness of Flow Analysis for Inlining. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:99-111 [Conf]
  10. Matthias Blume, Andrew W. Appel
    Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:112-124 [Conf]
  11. Karl Crary
    Foundations for the Implementation of Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:125-135 [Conf]
  12. Simon Marlow, Philip Wadler
    A Practical Subtyping System For Erlang. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:136-149 [Conf]
  13. Nevin Heintze, David A. McAllester
    On the Complexity of Set-Based Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:150-163 [Conf]
  14. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
    Tupling Calculation Eliminates Multiple Data Traversals. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:164-175 [Conf]
  15. Wei-Ngan Chin, Masami Hagiya
    A Bounds Inference Method for Vector-Based Memoisation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:176-187 [Conf]
  16. Julia L. Lawall, Harry G. Mairson
    on Global Dynamics of Optimal Graph Reduction. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:188-195 [Conf]
  17. Joe L. Armstrong
    The Development of Erlang. [Citation Graph (1, 0)][DBLP]
    ICFP, 1997, pp:196-203 [Conf]
  18. Dirk Dussart, John Hughes, Peter Thiemann
    Type Specialization for Imperative Languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:204-216 [Conf]
  19. Koji Kagawa
    Compositional References for Stateful Functional Programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:217-226 [Conf]
  20. John Launchbury, Amr Sabry
    Monadic State: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:227-238 [Conf]
  21. Scott Draves
    Implementing Bit-addressing with Specialization. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:239-250 [Conf]
  22. Koen Claessen, Ton Vullinghs, Erik Meijer
    Structuring Graphical Paradigms in TkGofer. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:251-262 [Conf]
  23. Conal Elliott, Paul Hudak
    Functional Reactive Animation. [Citation Graph (1, 0)][DBLP]
    ICFP, 1997, pp:263-273 [Conf]
  24. Olin Shivers
    Automatic Management of Operating System Resources. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:274-279 [Conf]
  25. Cristian Ungureanu, Benjamin Goldberg
    Formal Models of Distributed Memory Management. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:280-291 [Conf]
  26. Michael W. Hicks, Jonathan T. Moore, Scott Nettles
    The Measured Cost of Copying Garbage Collection Mechanisms. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:292-305 [Conf]
  27. Kris Aerts, Karel De Vlaminck
    A GUI on Top of a Functional Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:308- [Conf]
  28. Koen Claessen
    Graphs in Compilation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:309- [Conf]
  29. Byron Cook, John Launchbury
    Disposable Memo Functions (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:310- [Conf]
  30. Chris Dornan
    Affordable Dynamic Types. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:311- [Conf]
  31. Étienne Duris
    Functional Programming and Attribute Grammars Deforestation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:312- [Conf]
  32. Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta
    Protien Folding meets Functional Programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:313- [Conf]
  33. Natalio Krasnogor, Pablo E. Martínez López, Pablo Mocciola, David A. Pelta
    Modelling String Folding with G2L Grammars. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:314- [Conf]
  34. Eero Lassila
    A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:315- [Conf]
  35. Bruce J. McAdam
    BigTypes in ML. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:316- [Conf]
  36. Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
    Synthesis of Functions by Transformations and Constraints. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:317- [Conf]
  37. Gilles Richard, Frédéric Saubion, A. Tellez-Arenas
    Intensional Sets Using Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:318- [Conf]
  38. Viktor K. Sabelfeld, Andrei Sabelfeld
    Simple Semantic Analysis Problems for Functional Programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:319- [Conf]
  39. Eleni Spiliopoulou, Ian Holyer, Neil Davies
    Distributed Programming, a Purely Functional Approach. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:320- [Conf]
  40. Walid Taha, Tim Sheard
    Multi-Stage Programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:321- [Conf]
  41. Guilhem de Wailly
    Lambda-Flow: A Parallel Functional Synchronous Dataflow Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:322- [Conf]
  42. Bjarte M. Østvold
    Inductive Synthesis of Recursive Functional Programs (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:323- [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