Cited By
View all- Alsubhi ADardha O(2024)Coconut: Typestates for�Embedded SystemsCoordination Models and Languages10.1007/978-3-031-62697-5_12(219-238)Online publication date: 17-Jun-2024
- Krishnaswami NPradic PBenton N(2015)Integrating Linear and Dependent TypesACM SIGPLAN Notices10.1145/2775051.267696950:1(17-30)Online publication date: 14-Jan-2015
- Krishnaswami NPradic PBenton NRajamani SWalker D(2015)Integrating Linear and Dependent TypesProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2676726.2676969(17-30)Online publication date: 14-Jan-2015
- Show More Cited By