Cited By
View all- Canou BDi Cosmo RHenry G(2017)Scaling up functional programming education: under the hood of the OCaml MOOCProceedings of the ACM on Programming Languages10.1145/31102481:ICFP(1-25)Online publication date: 29-Aug-2017
- 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
- Show More Cited By