Cited By
View all- Monnier SHaguenauer DFilliâtre JFlanagan C(2010)Singleton types here, singleton types there, singleton types everywhereProceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification10.1145/1707790.1707792(1-8)Online publication date: 19-Jan-2010
- Chen JHofmann MFelleisen M(2007)A typed intermediate language for compiling multiple inheritanceProceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1190216.1190222(25-30)Online publication date: 17-Jan-2007
- Chen J(2007)A typed intermediate language for compiling multiple inheritanceACM SIGPLAN Notices10.1145/1190215.119022242:1(25-30)Online publication date: 17-Jan-2007
- Show More Cited By