Liebe Besucherinnen und Besucher,

heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien

Hagiya / Wadler | Functional and Logic Programming | E-Book | sack.de
E-Book

E-Book, Englisch, 298 Seiten, eBook

Reihe: Programming and Software Engineering

Hagiya / Wadler Functional and Logic Programming

8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
2006
ISBN: 978-3-540-33439-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

E-Book, Englisch, 298 Seiten, eBook

Reihe: Programming and Software Engineering

ISBN: 978-3-540-33439-2
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Hagiya / Wadler Functional and Logic Programming jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Hagiya, Masami
Wadler, Philip

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.