Masahiko Sato, Yoshihito Toyama
Special Issue on Functional and Logic Programming, Part I — FLOPS 1998
IJFCS/FLOPS, 2001.

@proceedings{FLOPS-J1-1998,
	editor        = "Masahiko Sato and Yoshihito Toyama",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 1,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Functional and Logic Programming, Part I — FLOPS 1998}",
	volume        = 12,
	year          = 2001,
}

Contents (4 items)

FLOPS-J1-1998-Takahashi01 #algebra

λ-Representable Functions Over Term Algebras (MT), pp. 3–29.

FLOPS-J1-1998-Tsukada01 #framework #type system

Martin-Löf’s Type Theory as an Open-Ended Framework (YT), pp. 31–67.

FLOPS-J1-1998-BorovanskyKKR01 #functional #semantics

Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.

FLOPS-J1-1998-LedererD01 #automation #runtime #verification

Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.