3. FLOPS 1998: Kyoto, Japan

Masahiko Sato, Yoshihito Toyama (Eds.): Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, Apil 2-4, 1998. World Scientific, Singapore, ISBN 981-02-3384-1

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

Last update Tue Feb 14 03:56:05 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page