| Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations The Feasibility of Interactively Probing Quiescent Properties of GUI Applications A Functional Programming Technique for Forms in Graphical User Interfaces A Rational Deconstruction of Landin's SECD Machine Explaining ML Type Errors by Data Flows V-M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions A Virtual Machine for Functional Logic Computations Source-Based Trace Exploration Shrinking Reductions in SML.NET Dynamic Construction of Generic Functions Reasoning About Deterministic Concurrent Functional I/O General Homomorphic Overloading Simple,Effective Code-Size Reduction for Functional Programs Author Index |
内容加载中，请稍后...
商品评论（0条）