Conferences in DBLP

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

1. J. C. González-Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
   Semantics and Types in Functional Logic Programming. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:1-20 [Conf]
   
2. Ralf Hinze
   Polytypic Programming With Ease (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:21-36 [Conf]
   
3. Carlos Camarão, Lucília Figueiredo
   Type Inference for Overloading without Restrictions, Declarations or Annotations. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:37-52 [Conf]
   
4. Gilles Barthe, Bernard P. Serpette
   Partial Evaluation and Non-inference for Object Calculi. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:53-67 [Conf]
   
5. Manuel M. T. Chakravarty
   Lazy Lexing is Fast. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:68-84 [Conf]
   
6. Rafael Caballero, Francisco Javier López-Fraguas
   A Functional-Logic Perspective on Parsing. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:85-99 [Conf]
   
7. Wolfgang Lux
   Implementing Encapsulated Search for a Lazy Functional Logic Language. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:100-113 [Conf]
   
8. Armin Kühnemann
   Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:114-130 [Conf]
   
9. Mizuhito Ogawa
   Automatic Verification Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1999, pp:131-146 [Conf]
   
10. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    A Transformation System for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:147-162 [Conf]
    
11. Sofie Verbaeten, Danny De Schreye
    Termination Analysis of Tabled Logic Programs Using Mode and Type Information. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:163-178 [Conf]
    
12. Enno Ohlebusch
    On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:179-193 [Conf]
    
13. Antonio J. Fernández, Patricia M. Hill
    An Interval Lattice-Based Constraint Solving Framework for Lattices. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:194-208 [Conf]
    
14. Oege de Moor, Ganesh Sittampalam
    Higher Order Matching for Program Transformation. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:209-224 [Conf]
    
15. Adam Bakewell, Colin Runciman
    Automated Generalisation of Function Definitions. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:225-240 [Conf]
    
16. Olivier Danvy
    An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:241-250 [Conf]
    
17. Christoph Beierle, Gregor Meyer
    Using Types as Approximations for Type Checking Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:251-266 [Conf]
    
18. Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
    Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:267-283 [Conf]
    
19. Ernie Johnson, C. R. Ramakrishnan, I. V. Ramakrishnan, Prasad Rao
    A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:284-300 [Conf]
    
20. Atsushi Ohori
    The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:300-318 [Conf]
    
21. Mircea Marin, Tetsuo Ida, Taro Suzuki
    On Reducing the Search Space of Higher-Order Lazy Narrowing. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:319-334 [Conf]
    
22. Sergio Antoy, Andrew P. Tolmach
    Typed Higher-Order Narrowing without Higher-Order Strategies. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:335-353 [Conf]
    
23. Michael Hanus, Salvador Lucas
    A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1999, pp:353-368 [Conf]