Conferences in DBLP

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

1. Masako Takahashi
   Lambda-representable Functions over Free Structures Revisited. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:1-19 [Conf]
   
2. Pierre-Louis Curien, Hugo Herbelin
   Computing with Abstract Böhm Trees. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:20-39 [Conf]
   
3. Nadia Nedjah
   Postponing Redex Contractions in Equational Programs [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:40-60 [Conf]
   
4. Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
   Towards Manipulation of Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:61-79 [Conf]
   
5. Manuel M. T. Chakravarty, Yike Guo, Martin Köhler
   Distributed Haskell: Goffin on the Internet. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:80-97 [Conf]
   
6. Ralf Hinze
   Prological Features in a Functional Setting Axioms and Implementation. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:98-122 [Conf]
   
7. Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima
   On the Semantics of GAEA. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:123-142 [Conf]
   
8. Peter Borovanský, Claude Kirchner, Hélène Kirchner
   A Functional View of Rewriting and Strategies for a Semantics of ELAN. [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:143-166 [Conf]
   
9. Hiroyuki Miyoshi
   Rewriting Logic for Cyclic Sharing Structures (extended abstract). [Citation Graph (0, 0)][DBLP]
   Fuji International Symposium on Functional and Logic Programming, 1998, pp:167-186 [Conf]
   
10. Takafumi Sakurai
    Categorial Model Construction for Proving Syntactic Properties. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:187-206 [Conf]
    
11. Izumi Takeuti
    A Type Theory for Cyclic Strcture. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:207-226 [Conf]
    
12. Yasuyuki Tsukada
    Type-free Equational Reasoning in the Theeory of Inductively Defined Types. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:227-246 [Conf]
    
13. Sergei M. Abramov, Robert Glück
    Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:247-270 [Conf]
    
14. Olivier Danvy
    Online Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:271-295 [Conf]
    
15. Edgar F. A. Lederer, Romeo A. Dumitrescu
    Two-Stage Programming. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:296-313 [Conf]