Cited By
View all- Kellogg MRan MSridharan MSchäf MErnst MRothermel GBae D(2020)Verifying object constructionProceedings of the ACM/IEEE 42nd International Conference on Software Engineering10.1145/3377811.3380341(1447-1458)Online publication date: 27-Jun-2020
- Balestrieri FMauny M(2018)Generic Programming in OCamlElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.285.3285(59-100)Online publication date: 31-Dec-2018
- Ueno KOhori A(2016)A Type Safe Access to Key-value Stores from Functional LanguagesJournal of Information Processing10.2197/ipsjjip.24.14124:1(141-151)Online publication date: 2016
- Show More Cited By