| An Algebraic Theory of Polymorphic Temporal Media Supporting Decisions in Complex, Uncertain Domains with Declarative Languages A Typeful Approach to Object-Oriented Programming with Multiple Inheritance Compositional Model-Views with Generic Graphical User Interfaces An Implementation of Session Types UUXML: A Type-Preserving XML Schema-Haskell Data Binding Improved Compilation of Prolog to C Using Moded Types and Determinism Information A Generic Persistence Model for (C)LP Systems(and Two Useful Implementations) Pruning in the Extended Andorra Model USA-Smart: Improving the Quality of Plans in Answer Set Planning ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog Simplifying Dynamic Programming via Tabling Symbolic Execution of Behavioral Requirements Observing Functional Logic Computations Parametric Fortran - A for Customized Generic Program Generator Fortran Extensions Typing XHTML Web Applications in ML Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell Author Index |
内容加载中，请稍后...
商品评论（0条）