Type inference for locality analysis of distributed data structures
- 20 February 2008
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Shared memory programming for large scale machinesPublished by Association for Computing Machinery (ACM) ,2006
- X10ACM SIGPLAN Notices, 2005
- An evaluation of global address space languagesPublished by Association for Computing Machinery (ACM) ,2005
- Region analysis and transformation for Java programsPublished by Association for Computing Machinery (ACM) ,2004
- Type systems for distributed data structuresPublished by Association for Computing Machinery (ACM) ,2000
- Region-Based Memory ManagementInformation and Computation, 1997
- Software Caching and Computation Migration in OldenJournal of Parallel and Distributed Computing, 1996
- Type inference with polymorphic recursionACM Transactions on Programming Languages and Systems, 1993
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982