3. FLOPS 1998: Kyoto, Japan

Invited Talk 1

• Masako Takahashi: Lambda-representable Functions over Free Structures Revisited. 1-19

Session 1

• Pierre-Louis Curien, Hugo Herbelin: Computing with Abstract Böhm Trees. 20-39
• Nadia Nedjah: Postponing Redex Contractions in Equational Programs. 40-60
• Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi: Towards Manipulation of Mutually Recursive Functions. 61-79

Session 2

• Manuel M. T. Chakravarty, Yike Guo, Martin Köhler: Distributed Haskell: Goffin on the Internet. 80-97
• Ralf Hinze: Prological Features in a Functional Setting Axioms and Implementation. 98-122
• Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima: On the Semantics of GAEA. 123-142

Invited Talk 2

• Peter Borovanský, Claude Kirchner, Hélène Kirchner: A Functional View of Rewriting and Strategies for a Semantics of ELAN. 143-166

Session 3

• Hiroyuki Miyoshi: Rewriting Logic for Cyclic Sharing Structures (extended abstract). 167-186
• Takafumi Sakurai: Categorial Model Construction for Proving Syntactic Properties. 187-206
• Izumi Takeuti: A Type Theory for Cyclic Strcture. 207-226
• Yasuyuki Tsukada: Type-free Equational Reasoning in the Theeory of Inductively Defined Types. 227-246

Session 4

• Sergei M. Abramov, Robert Glück: Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. 247-270
• Olivier Danvy: Online Type-Directed Partial Evaluation. 271-295
• Edgar F. A. Lederer, Romeo A. Dumitrescu: Two-Stage Programming. 296-313