会员服务
Integration · 讲稿 · GNU · 设计 · 编程语言 ·
2022 年 7 月 15 日
GopCaml: A Structural Editor for OCaml
翻译：GopCaml: OCaml 结构编辑器
Kiran Gopinathan
Kiran Gopinathan
from arxiv, Presented at OCaml workshop at ICFP 2021

This talk presents Gopcaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin's internal design and its integration with existing OCaml and GNU Emacs toolchains.


翻译：此演讲展示了 Gopcaml 模式, 这是 OCaml 的第一个结构编辑插件。 我们将浏览主插件特性, 讨论插件的内部设计及其与现有的 Ocaml 和 GNU Emacs 工具链的整合 。
0
下载
关闭预览

相关内容

Integration：Integration, the VLSI Journal。 Explanation：集成，VLSI杂志。 Publisher：Elsevier。 SIT：http://dblp.uni-trier.de/db/journals/integration/
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
87+阅读 · 2020年2月12日
【UMD开放书】机器学习课程书册，19章227页pdf，带你学习ML
【UMD开放书】机器学习课程书册，19章227页pdf，带你学习ML
专知会员服务
99+阅读 · 2019年12月9日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
32+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
线粒体TRAP1分子介导Ago2蛋白表达在肠癌转移中的作用机制
国家自然科学基金
0+阅读 · 2014年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
血管内皮细胞纤维粘连蛋白EDA片段诱导结肠癌细胞上皮间质转化的作用及机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
关于AI-半环簇与 Conway半环簇的研究
国家自然科学基金
1+阅读 · 2012年12月31日
β2整合素LFA-1与Mac-1功能差异的结构预测与实验测量
国家自然科学基金
0+阅读 · 2012年12月31日
Twist核转位调控食管鳞癌淋巴转移的分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
热休克蛋白GRP78途径调节的急性胰腺炎炎症反应的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Msi2基因调控与Wnt/β-catenin和Notch信号通路间串话在CD44＋肝癌干细胞“干性”维持中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
滋养细胞合体化障碍参与恶性滋养细胞肿瘤耐药机制
国家自然科学基金
0+阅读 · 2009年12月31日
镉胁迫诱导拟南芥细胞内MLH1和MSH2基因突变及甲基化改变的分子机制
国家自然科学基金
0+阅读 · 2009年12月31日
MATT: A Multiple-instance Attention Mechanism for Long-tail Music Genre Classification
Arxiv
0+阅读 · 2022年9月9日
Grounding Hindsight Instructions in Multi-Goal Reinforcement Learning for Robotics
Arxiv
0+阅读 · 2022年9月8日
Optimal Offloading Strategies for Edge-Computing via Mean-Field Games and Control
Optimal Offloading Strategies for Edge-Computing via Mean-Field Games and Control
Arxiv
0+阅读 · 2022年9月8日
Image Varifolds on Meshes for Mapping Spatial Transcriptomics
Arxiv
0+阅读 · 2022年9月8日
The intrinsic Toeplitz structure and its applications in algebraic Riccati equations
Arxiv
0+阅读 · 2022年9月8日
End-to-end Robustness for Sensing-Reasoning Machine Learning Pipelines
Arxiv
0+阅读 · 2022年9月7日
Interactive Visual Analysis of Structure-borne Noise Data
Arxiv
0+阅读 · 2022年9月7日
Use and Misuse of Machine Learning in Anthropology
Arxiv
0+阅读 · 2022年9月6日
Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges
Arxiv
16+阅读 · 2021年5月2日
Commonsense Knowledge Base Completion with Structural and Semantic Context
Commonsense Knowledge Base Completion with Structural and Semantic Context
Arxiv
20+阅读 · 2019年12月19日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Integration
讲稿
GNU
设计
编程语言
相关VIP内容
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
87+阅读 · 2020年2月12日
【UMD开放书】机器学习课程书册，19章227页pdf，带你学习ML
【UMD开放书】机器学习课程书册，19章227页pdf，带你学习ML
专知会员服务
99+阅读 · 2019年12月9日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
32+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
ACM TOMM Call for Papers
ACM TOMM Call for Papers
CCF多媒体专委会
2+阅读 · 2022年3月23日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
2+阅读 · 2021年12月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
相关论文
MATT: A Multiple-instance Attention Mechanism for Long-tail Music Genre Classification
Arxiv
0+阅读 · 2022年9月9日
Grounding Hindsight Instructions in Multi-Goal Reinforcement Learning for Robotics
Arxiv
0+阅读 · 2022年9月8日
Optimal Offloading Strategies for Edge-Computing via Mean-Field Games and Control
Optimal Offloading Strategies for Edge-Computing via Mean-Field Games and Control
Arxiv
0+阅读 · 2022年9月8日
Image Varifolds on Meshes for Mapping Spatial Transcriptomics
Arxiv
0+阅读 · 2022年9月8日
The intrinsic Toeplitz structure and its applications in algebraic Riccati equations
Arxiv
0+阅读 · 2022年9月8日
End-to-end Robustness for Sensing-Reasoning Machine Learning Pipelines
Arxiv
0+阅读 · 2022年9月7日
Interactive Visual Analysis of Structure-borne Noise Data
Arxiv
0+阅读 · 2022年9月7日
Use and Misuse of Machine Learning in Anthropology
Arxiv
0+阅读 · 2022年9月6日
Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges
Arxiv
16+阅读 · 2021年5月2日
Commonsense Knowledge Base Completion with Structural and Semantic Context
Commonsense Knowledge Base Completion with Structural and Semantic Context
Arxiv
20+阅读 · 2019年12月19日
相关基金
线粒体TRAP1分子介导Ago2蛋白表达在肠癌转移中的作用机制
国家自然科学基金
0+阅读 · 2014年12月31日
Schrodinger-Poisson方程的若干问题研究
国家自然科学基金
1+阅读 · 2012年12月31日
血管内皮细胞纤维粘连蛋白EDA片段诱导结肠癌细胞上皮间质转化的作用及机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
关于AI-半环簇与 Conway半环簇的研究
国家自然科学基金
1+阅读 · 2012年12月31日
β2整合素LFA-1与Mac-1功能差异的结构预测与实验测量
国家自然科学基金
0+阅读 · 2012年12月31日
Twist核转位调控食管鳞癌淋巴转移的分子机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
热休克蛋白GRP78途径调节的急性胰腺炎炎症反应的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Msi2基因调控与Wnt/β-catenin和Notch信号通路间串话在CD44＋肝癌干细胞“干性”维持中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
滋养细胞合体化障碍参与恶性滋养细胞肿瘤耐药机制
国家自然科学基金
0+阅读 · 2009年12月31日
镉胁迫诱导拟南芥细胞内MLH1和MSH2基因突变及甲基化改变的分子机制
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top