1 option
Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / edited by Masami Hagiya, Philip Wadler.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 3945.
- Programming and Software Engineering ; 3945
- Language:
- English
- Subjects (All):
- Computer programming.
- Programming languages (Electronic computers).
- Computer logic.
- Logic, Symbolic and mathematical.
- Artificial intelligence.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Artificial Intelligence.
- Local Subjects:
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (X, 298 pages).
- Edition:
- First edition 2006.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
- System Details:
- text file PDF
- Contents:
- Invited Papers
- Parallel Programming and Parallel Abstractions in Fortress
- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place
- Refereed Papers
- "Scrap Your Boilerplate" Reloaded
- Ruler: Programming Type Rules
- A Framework for Extended Algebraic Data Types
- Lock Free Data Structures Using STM in Haskell
- XML Type Checking Using High-Level Tree Transducer
- A Computational Approach to Pocklington Certificates in Type Theory
- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
- Soutei, a Logic-Based Trust-Management System
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
- Resource Analysis by Sup-interpretation
- Lazy Set-Sharing Analysis
- Size-Change Termination and Bound Analysis
- Typed Contracts for Functional Programming
- Contracts as Pairs of Projections
- iData for the World Wide Web - Programming Interconnected Web Forms
- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
- WASH Server Pages.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-33439-2
- 9783540334392
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.