会员服务
层 · 模态 · 代码 · 编程语言 ·
2023 年 5 月 11 日
Layered Modal Type Theories
翻译：暂无翻译
Jason Z. S. Hu,Brigitte Pientka
Jason Z. S. Hu,Brigitte Pientka

We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.


翻译：暂无翻译
0
下载
关闭预览

相关内容

【ETH】最新《几何数据分析》2020课程，附PPT下载
专知会员服务
45+阅读 · 2020年12月18日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
74+阅读 · 2020年8月2日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
163+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
上百种预训练中文词向量：Chinese-Word-Vectors
上百种预训练中文词向量：Chinese-Word-Vectors
AINLP
23+阅读 · 2019年2月26日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
20+阅读 · 2017年12月17日
局部波动特征分解(LOD)方法及其在机械故障诊断中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
《物理》期刊
国家自然科学基金
4+阅读 · 2013年2月4日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
ADAMTS-4/5和Aggrecan基因改造的间充质干细胞和软骨细胞在软骨组织工程上的应用研究
国家自然科学基金
0+阅读 · 2012年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
PMaF: Deep Declarative Layers for Principal Matrix Features
Arxiv
0+阅读 · 2023年6月26日
Folded Polynomial Codes for Coded Distributed $AA^\top$-Type Matrix Multiplication
Arxiv
0+阅读 · 2023年6月26日
Challenges of Artificial Intelligence -- From Machine Learning and Computer Vision to Emotional Intelligence
Arxiv
19+阅读 · 2022年1月5日
A Survey on Edge Intelligence
A Survey on Edge Intelligence
Arxiv
52+阅读 · 2020年3月26日
From Knowledge Graph Embedding to Ontology Embedding: Region Based Representations of Relational Structures
Arxiv
10+阅读 · 2018年5月26日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
层
模态
代码
编程语言
相关VIP内容
【ETH】最新《几何数据分析》2020课程，附PPT下载
专知会员服务
45+阅读 · 2020年12月18日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
74+阅读 · 2020年8月2日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
163+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
热门VIP内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
上百种预训练中文词向量：Chinese-Word-Vectors
上百种预训练中文词向量：Chinese-Word-Vectors
AINLP
23+阅读 · 2019年2月26日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
20+阅读 · 2017年12月17日
相关论文
PMaF: Deep Declarative Layers for Principal Matrix Features
Arxiv
0+阅读 · 2023年6月26日
Folded Polynomial Codes for Coded Distributed $AA^\top$-Type Matrix Multiplication
Arxiv
0+阅读 · 2023年6月26日
Challenges of Artificial Intelligence -- From Machine Learning and Computer Vision to Emotional Intelligence
Arxiv
19+阅读 · 2022年1月5日
A Survey on Edge Intelligence
A Survey on Edge Intelligence
Arxiv
52+阅读 · 2020年3月26日
From Knowledge Graph Embedding to Ontology Embedding: Region Based Representations of Relational Structures
Arxiv
10+阅读 · 2018年5月26日
相关基金
局部波动特征分解(LOD)方法及其在机械故障诊断中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
《物理》期刊
国家自然科学基金
4+阅读 · 2013年2月4日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
ADAMTS-4/5和Aggrecan基因改造的间充质干细胞和软骨细胞在软骨组织工程上的应用研究
国家自然科学基金
0+阅读 · 2012年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top