Conferences in DBLP

Fuji International Symposium on Functional and Logic Programming (flops)
2002 (conf/flops/2002)

1. Kokichi Futatsugi
   Formal Methods in CafeOBJ. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:1-20 [Conf]
   
2. Jérôme Siméon, Philip Wadler
   The Essence of XML (Preliminary Version). [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:21-46 [Conf]
   
3. Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
   To the Gates of HAL: A HAL Tutorial. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:47-66 [Conf]
   
4. Sergio Antoy, Michael Hanus
   Functional Logic Design Patterns. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:67-87 [Conf]
   
5. Klaus Meer
   On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:88-102 [Conf]
   
6. Miguel García-Díaz, Susana Nieva
   Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:103-118 [Conf]
   
7. Pascual Julián Iranzo
   On the Correctness of the Factoring Transformation. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:119-133 [Conf]
   
8. Olivier Danvy, Ulrik Pagh Schultz
   Lambda-Lifting in Quadratic Time. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:134-151 [Conf]
   
9. Yann Loyer, Umberto Straccia
   The Well-Founded Semantics in Normal Logic Programs with Uncertainty. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:152-166 [Conf]
   
10. Masahito Hasegawa
    Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:167-182 [Conf]
    
11. Luís Soares Barbosa, José Nuno Oliveira
    Coinductive Interpreters for Process Calculi. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:183-197 [Conf]
    
12. Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
    Descendants and Head Normalization of Higher-Order Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:198-211 [Conf]
    
13. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Narrowing Failure in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:212-227 [Conf]
    
14. Mikael Pettersson, Konstantinos F. Sagonas, Erik Johansson
    The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:228-244 [Conf]
    
15. Rafael Caballero, Francisco Javier López-Fraguas
    Dynamic-Cut with Definitional Trees. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:245-258 [Conf]
    
16. Jan-Georg Smaus
    The Head Condition and Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:259-274 [Conf]
    
17. António Porto
    Structural Abstraction and Application in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:275-289 [Conf]
    
18. Eijiro Sumii, Hideo Bannai
    VM lambda: A Functional Calculusfor Scientific Discovery. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:290-304 [Conf]