3. FLOPS 1998: Kyoto, Japan

Invited Talk 1

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

Session 1

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

Session 2

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

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 BibTeX

Session 3

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

Session 4

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