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
- Roth OGil Y(2023)Fluent APIs in Functional LanguagesProceedings of the ACM on Programming Languages10.1145/35860577:OOPSLA1(876-901)Online publication date: 6-Apr-2023
- de Ferro CCogumbreiro TMartins F(2023)Shelley: A Framework for Model Checking Call Ordering on Hierarchical SystemsCoordination Models and Languages10.1007/978-3-031-35361-1_5(93-114)Online publication date: 15-Jun-2023
- Show More Cited By