Guy L. Steele (auth.), Masami Hagiya, Philip Wadler (eds.)3540334386, 9783540334385
The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.
Table of contents :
Front Matter….Pages –
Parallel Programming and Parallel Abstractions in Fortress….Pages 1-1
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place….Pages 2-12
Soutei, a Logic-Based Trust-Management System….Pages 130-145
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems….Pages 146-162
Resource Analysis by Sup-interpretation….Pages 163-176
Lazy Set-Sharing Analysis….Pages 177-191
Size-Change Termination and Bound Analysis….Pages 192-207
Typed Contracts for Functional Programming….Pages 208-225
Contracts as Pairs of Projections….Pages 226-241
“Scrap Your Boilerplate” Reloaded….Pages 13-29
Ruler: Programming Type Rules….Pages 30-46
A Framework for Extended Algebraic Data Types….Pages 47-64
Lock Free Data Structures Using STM in Haskell….Pages 65-80
XML Type Checking Using High-Level Tree Transducer….Pages 81-96
iData for the World Wide Web – Programming Interconnected Web Forms….Pages 242-258
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages….Pages 259-276
WASH Server Pages….Pages 277-293
A Computational Approach to Pocklington Certificates in Type Theory….Pages 97-113
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant….Pages 114-129
Back Matter….Pages –
Reviews
There are no reviews yet.