Cited By
View all- 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
- Pottier F(2017)Visitors unchainedProceedings of the ACM on Programming Languages10.1145/31102721:ICFP(1-28)Online publication date: 29-Aug-2017
- Omar CVoysey IHilton MAldrich JHammer M(2017)Hazelnut: a bidirectionally typed structure editor calculusACM SIGPLAN Notices10.1145/3093333.300990052:1(86-99)Online publication date: 1-Jan-2017
- Show More Cited By