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)

3 ×#semantics
2 ×#equation
2 ×#functional

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.