Cited By
View all- Leroy X(2008)A syntactic theory of type generativity and sharingJournal of Functional Programming10.1017/S09567968000019336:5(667-698)Online publication date: 7-Nov-2008
- Tofte M(2008)Principal signatures for higher-order program modulesJournal of Functional Programming10.1017/S09567968000010884:3(285-335)Online publication date: 7-Nov-2008
- Aponte MCosmo R(2005)Type isomorphisms for module signaturesProgramming Languages: Implementations, Logics, and Programs10.1007/3-540-61756-6_95(334-346)Online publication date: 7-Jun-2005
- Show More Cited By