Fuji International Symposium on Functional and Logic Programming
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


Fuji International Symposium on Functional and Logic Programming
FLOPS, 1998.

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

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.