Cited By
View all- Wehr SThiemann P(2011)JavaGIACM Transactions on Programming Languages and Systems10.1145/1985342.198534333:4(1-83)Online publication date: Jul-2011
- Eichholz MSalvaneschi GMezini MMarr SSartor J(2018)Towards safe modular composition of network functionsCompanion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming10.1145/3191697.3213804(81-86)Online publication date: 9-Apr-2018
- Amin NRompf T(2017)Type soundness proofs with definitional interpretersACM SIGPLAN Notices10.1145/3093333.300986652:1(666-679)Online publication date: 1-Jan-2017
- Show More Cited By