Cited By
View all- ROSSBERG ARUSSO CDREYER D(2014)F-ing modulesJournal of Functional Programming10.1017/S095679681400026424:05(529-607)Online publication date: 19-Nov-2014
- Sewell PWojciechowski PUnyapoth A(2010)Nomadic pictACM Transactions on Programming Languages and Systems10.1145/1734206.173420932:4(1-63)Online publication date: 22-Apr-2010
- Rossberg A(2008)Dynamic Translucency with Abstraction Kinds and Higher-Order CoercionsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.10.019218(313-336)Online publication date: 1-Oct-2008
- Show More Cited By