Cited By
View all- Nguyen HOhori ABossi AMaher M(2006)Compiling ML polymorphism with explicit layout bitmapProceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/1140335.1140364(237-248)Online publication date: 10-Jul-2006
- Sumii EBannai H(2002)VMλ: A Functional Calculus for Scientific DiscoveryFunctional and Logic Programming10.1007/3-540-45788-7_18(290-304)Online publication date: 24-Oct-2002
- Minamide YPRESTO (2001)A New Criterion for Safe Program TransformationsElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80871-541:3(20-34)Online publication date: Nov-2001
- Show More Cited By