Cited By
View all- Padget JBatey DMerrall S(2005)Architecture independence and coordinationParallel Symbolic Computing: Languages, Systems, and Applications10.1007/BFb0018658(287-299)Online publication date: 31-May-2005
- Barendregt HHemerik K(2005)Types in lambda calculi and programming languagesESOP '9010.1007/3-540-52592-0_53(1-35)Online publication date: 1-Jun-2005
- Pierce BTurner DMacQueen DCardelli L(1998)Local type inferenceProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/268946.268967(252-265)Online publication date: 21-Jan-1998
- Show More Cited By