Masami Hagiya, Philip Wadler
Proceedings of the Eighth International Symposium on Functional and Logic Programming
FLOPS, 2006.

@proceedings{FLOPS-2006,
	address       = "Fuji-Susono, Japan",
	editor        = "Masami Hagiya and Philip Wadler",
	isbn          = "3-540-33438-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Symposium on Functional and Logic Programming}",
	volume        = 3945,
	year          = 2006,
}

Contents (19 items)

4 ×#programming
3 ×#analysis
3 ×#functional
2 ×#approach
2 ×#contract
2 ×#data type
2 ×#framework
2 ×#lazy evaluation
2 ×#using

FLOPS-2006-Steele #abstraction #parallel #programming

Parallel Programming and Parallel Abstractions in Fortress (GLSJ), p. 1.

FLOPS-2006-Roy #convergence #design

Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place (PVR), pp. 2–12.

FLOPS-2006-HinzeLO #scrap your boilerplate

“Scrap Your Boilerplate” Reloaded (RH, AL, BCdSO), pp. 13–29.

FLOPS-2006-DijkstraS #named #programming

Ruler: Programming Type Rules (AD, SDS), pp. 30–46.

FLOPS-2006-SulzmannWS #algebra #data type #framework

A Framework for Extended Algebraic Data Types (MS, JW, PJS), pp. 47–64.

FLOPS-2006-DiscoloHMJS #data type #haskell #using

Lock Free Data Structures Using STM in Haskell (AD, TH, SM, SLPJ, SS), pp. 65–80.

FLOPS-2006-Tozawa #transducer #type checking #using #xml

XML Type Checking Using High-Level Tree Transducer (AT), pp. 81–96.

FLOPS-2006-GregoireTW #approach #type system

A Computational Approach to Pocklington Certificates in Type Theory (BG, LT, BW), pp. 97–113.

FLOPS-2006-BartheFPR #coq #proving #reasoning #recursion

Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.

FLOPS-2006-PimlottK #trust

Soutei, a Logic-Based Trust-Management System (AP, OK), pp. 130–145.

FLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.

FLOPS-2006-MarionP #analysis

Resource Analysis by Sup-interpretation (JYM, RP), pp. 163–176.

FLOPS-2006-LiKL #analysis #lazy evaluation

Lazy Set-Sharing Analysis (XL, AK, LL), pp. 177–191.

FLOPS-2006-Avery #analysis #bound #termination

Size-Change Termination and Bound Analysis (JA), pp. 192–207.

FLOPS-2006-HinzeJL #contract #functional #programming

Typed Contracts for Functional Programming (RH, JJ, AL), pp. 208–225.

FLOPS-2006-FindlerB #contract

Contracts as Pairs of Projections (RBF, MB), pp. 226–241.

FLOPS-2006-PlasmeijerA #programming #web

iData for the World Wide Web — Programming Interconnected Web Forms (RP, PA), pp. 242–258.

FLOPS-2006-IgnatoffCK #adaptation #framework #functional #object-oriented

Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages (DI, GHC, SK), pp. 259–276.

FLOPS-2006-Thiemann

WASH Server Pages (PT), pp. 277–293.