Practical Aspects of Declarative Languages
Bharat Jayaraman · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings<br />Author: Bharat Jayaraman<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-22253-8<br /> DOI: 10.1007/b98355<br /><br />Table of Contents:<p></p><ul><li>An Algebraic Theory of Polymorphic Temporal Media </li><li>Supporting Decisions in Complex, Uncertain Domains with Declarative Languages </li><li>A Typeful Approach to Object-Oriented Programming with Multiple Inheritance </li><li>Compositional Model-Views with Generic Graphical User Interfaces </li><li>An Implementation of Session Types </li><li>UUXML: A Type-Preserving XML Schema–Haskell Data Binding </li><li>Improved Compilation of Prolog to C Using Moded Types and Determinism Information </li><li>A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) </li><li>Pruning in the Extended Andorra Model </li><li>USA-Smart: Improving the Quality of Plans in Answer Set Planning </li><li>$ mathbb{ASP-PROLOG}$ </li><li>Simplifying Dynamic Programming via Tabling </li><li>Symbolic Execution of Behavioral Requirements </li><li>Observing Functional Logic Computations </li><li>Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions </li><li>Typing XHTML Web Applications in ML </li><li>Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell</li></ul>
Book details
- Year
- 2004
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 255
- ISBN
- 9783540222538
Data source: Wikidata