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

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

Contents (3 items)

FLOPS-J2-1998-Hinze01 #axiom #functional #implementation #prolog

Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.

FLOPS-J2-1998-AbramovG01 #semantics #standard

From Standard to Non-Standard Semantics by Semantics Modifiers (SMA, RG), pp. 171–211.

FLOPS-J2-1998-Sakurai01 #category theory #proving

Categorical Model Construction for Proving Syntactic Properties (TS), pp. 213–244.