MetaOCaml公司 9份文件引用(2006–2018) 软件作者： 瓦利德·塔哈；克里斯蒂亚诺·卡尔卡尼奥；泽维尔·勒罗伊（Xavier Leroy）；Ed Pizzi；埃米尔·帕萨利克；杰森·李·埃克哈特（Jason Lee Eckhardt）；鲁门·凯亚巴切夫；奥列格·基斯廖 相关软件： OCaml；阿格达；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
链球菌属 3份文件引用(2017–2022) 软件作者： 奥列格·基塞利约夫（Oleg Kiselyov）；阿格洛斯·比布迪斯；Nick Palladinos；亚尼斯·斯马拉格达基斯 相关软件： OCaml；茉莉花；HACL*… 主要字段： 计算机科学（68-XX）