*Fuji International Symposium on Functional and Logic Programming*

FLOPS, 1998.

@proceedings{FLOPS-1998,
title = "{Fuji International Symposium on Functional and Logic Programming}",
year = 1998,
}

### Contents (15 items)

- FLOPS-1998-Takahashi #revisited
- λ-representable Functions over Free Structures Revisited (MT), pp. 1–19.
- FLOPS-1998-CurienH
- Computing with Abstract Böhm Trees (PLC, HH), pp. 20–39.
- FLOPS-1998-Nedjah #equation #source code
- Postponing Redex Contractions in Equational Programs (NN), pp. 40–60.
- FLOPS-1998-IwasakiHT #recursion #towards
- Towards Manipulation of Mutually Recursive Functions (HI, ZH, MT), pp. 61–79.
- FLOPS-1998-ChakravartyGK #distributed #haskell #internet
- Distributed Haskell: Goffin on the Internet (MMTC, YG, MK), pp. 80–97.
- FLOPS-1998-Hinze #axiom #functional #implementation #prolog
- Prological Features in a Functional Setting Axioms and Implementation (RH), pp. 98–122.
- FLOPS-1998-IshikawaWFMN #on the #semantics
- On the Semantics of GAEA (HI, TW, KF, JM, HN), pp. 123–142.
- FLOPS-1998-BorovanskyKK #functional #semantics
- A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.
- FLOPS-1998-Miyoshi #logic
- Rewriting Logic for Cyclic Sharing Structures (HM), pp. 167–186.
- FLOPS-1998-Sakurai #proving
- Categorial Model Construction for Proving Syntactic Properties (TS), pp. 187–206.
- FLOPS-1998-Takeuti #type system
- A Type Theory for Cyclic Strcture (IT), pp. 207–226.
- FLOPS-1998-Tsukada #equation #reasoning
- Type-free Equational Reasoning in the Theeory of Inductively Defined Types (YT), pp. 227–246.
- FLOPS-1998-AbramovG #approach #programming language #semantics #standard
- Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.
- FLOPS-1998-Danvy #online #partial evaluation
- Online Type-Directed Partial Evaluation (OD), pp. 271–295.
- FLOPS-1998-LedererD #programming
- Two-Stage Programming (EFAL, RAD), pp. 296–313.