default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. FLOPS 1998: Kyoto, Japan
- Masahiko Sato, Yoshihito Toyama:
Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998. World Scientific, Singapore 1998, ISBN 981-02-3384-1
Invited Talk 1
- Masako Takahashi:
Lambda-representable Functions over Free Structures Revisited. Fuji International Symposium on Functional and Logic Programming 1998: 1-19
Session 1
- Pierre-Louis Curien, Hugo Herbelin:
Computing with Abstract Böhm Trees. Fuji International Symposium on Functional and Logic Programming 1998: 20-39 - Nadia Nedjah:
Postponing Redex Contractions in Equational Programs. Fuji International Symposium on Functional and Logic Programming 1998: 40-60 - Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi:
Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79
Session 2
- Manuel M. T. Chakravarty, Yike Guo, Martin Köhler:
Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming 1998: 80-97 - Ralf Hinze:
Prological Features in a Functional Setting Axioms and Implementation. Fuji International Symposium on Functional and Logic Programming 1998: 98-122 - Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima:
On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming 1998: 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. Fuji International Symposium on Functional and Logic Programming 1998: 143-166
Session 3
- Hiroyuki Miyoshi:
Rewriting Logic for Cyclic Sharing Structures (extended abstract). Fuji International Symposium on Functional and Logic Programming 1998: 167-186 - Takafumi Sakurai:
Categorial Model Construction for Proving Syntactic Properties. Fuji International Symposium on Functional and Logic Programming 1998: 187-206 - Izumi Takeuti:
A Type Theory for Cyclic Strcture. Fuji International Symposium on Functional and Logic Programming 1998: 207-226 - Yasuyuki Tsukada:
Type-free Equational Reasoning in the Theeory of Inductively Defined Types. Fuji International Symposium on Functional and Logic Programming 1998: 227-246
Session 4
- Sergei M. Abramov, Robert Glück:
Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. Fuji International Symposium on Functional and Logic Programming 1998: 247-270 - Olivier Danvy:
Online Type-Directed Partial Evaluation. Fuji International Symposium on Functional and Logic Programming 1998: 271-295 - Edgar F. A. Lederer, Romeo A. Dumitrescu:
Two-Stage Programming. Fuji International Symposium on Functional and Logic Programming 1998: 296-313
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
