Special Issue on Functional and Logic Programming, Part I — FLOPS 1998
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
no DBLP info
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.