Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Chuang, Tyng-Ruey - Institute of Information Science, Academia Sinica (Taiwan)
TR-IIS-06-012 An Algebra of Dependent Data
TR-IIS-06-011 The Web and Collaborative
On Modular Transformation of Structural Content April 1, 2003
115 128 2001 8 31
Prototyping Sparse Fortran 90 Array Intrinsics with Standard ML Module System \Lambda
A Probabilistic Approach to the Problem of Automatic Selection of Data Representations \Lambda
A Simple Model of Distributed Functional Data Structures and Its Implementation \Lambda
BIBLIOGRAPHY 153 [72] Joseph E. Stoy. Denotational Semantics: The Scott--Strachey Approach to Program
NonIntrusive Object Introspection in C++ ---Architecture and Application \Lambda
106 CHAPTER 5. FULLY PERSISTENT ARRAYS FOR FUNCTIONAL PROGRAMS Figure 5.5: Trace graphs of the read sequences of four programs.
108 CHAPTER 5. FULLY PERSISTENT ARRAYS FOR FUNCTIONAL PROGRAMS in Appendix B.
