会员服务
层 · 模态 · 代码 · 编程语言 ·
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
下载
关闭预览

相关内容

不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
75+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
77+阅读 · 2022年3月15日
【ETH】最新《几何数据分析》2020课程，附PPT下载
专知会员服务
44+阅读 · 2020年12月18日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
74+阅读 · 2020年8月2日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
79+阅读 · 2020年7月26日
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
专知会员服务
82+阅读 · 2020年2月27日
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
专知会员服务
49+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
156+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
104+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
2+阅读 · 2022年11月2日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
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
待字闺中
17+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
美国化学会 (ACS) 北京代表处招聘
美国化学会 (ACS) 北京代表处招聘
知社学术圈
11+阅读 · 2018年9月4日
【论文推荐】最新四篇CVPR2018 视频描述生成相关论文—双向注意力、Transformer、重构网络、层次强化学习
【论文推荐】最新四篇CVPR2018 视频描述生成相关论文—双向注意力、Transformer、重构网络、层次强化学习
专知
31+阅读 · 2018年6月4日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
19+阅读 · 2017年12月17日
【推荐】全卷积语义分割综述
【推荐】全卷积语义分割综述
机器学习研究会
19+阅读 · 2017年8月31日
多层时空并行 Schwarz 算法的研究
国家自然科学基金
3+阅读 · 2017年12月31日
染色质重塑因子（ARID1A）突变在膀胱移行细胞癌发生中的作用机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
GTAT4和Myocardin相互作用调控心肌肥厚
国家自然科学基金
0+阅读 · 2014年12月31日
应用于SAL中的超宽带线性啁啾光波发射源的研究
国家自然科学基金
0+阅读 · 2014年12月31日
局部波动特征分解(LOD)方法及其在机械故障诊断中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
《物理》期刊
国家自然科学基金
4+阅读 · 2013年2月4日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
ADAMTS-4/5和Aggrecan基因改造的间充质干细胞和软骨细胞在软骨组织工程上的应用研究
国家自然科学基金
0+阅读 · 2012年12月31日
《计算机研究与发展》学术期刊
国家自然科学基金
1+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
Retrospective: A Scalable Processing-in-Memory Accelerator for Parallel Graph Processing
Arxiv
0+阅读 · 2023年6月27日
The Perspective of Software Professionals on Algorithmic Racism
Arxiv
0+阅读 · 2023年6月27日
Composing Parameter-Efficient Modules with Arithmetic Operations
Arxiv
0+阅读 · 2023年6月26日
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日
Artificial intelligence and biological misuse: Differentiating risks of language models and biological design tools
Arxiv
0+阅读 · 2023年6月24日
Topological signatures of periodic-like signals
Arxiv
0+阅读 · 2023年6月23日
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内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
75+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
77+阅读 · 2022年3月15日
【ETH】最新《几何数据分析》2020课程，附PPT下载
专知会员服务
44+阅读 · 2020年12月18日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
74+阅读 · 2020年8月2日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
79+阅读 · 2020年7月26日
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
【经典书】数据挖掘：理论、算法与示例，347页pdf，Nong Ye，Arizona State University
专知会员服务
82+阅读 · 2020年2月27日
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
专知会员服务
49+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
156+阅读 · 2019年10月12日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
104+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
2+阅读 · 2022年11月2日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
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
待字闺中
17+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
美国化学会 (ACS) 北京代表处招聘
美国化学会 (ACS) 北京代表处招聘
知社学术圈
11+阅读 · 2018年9月4日
【论文推荐】最新四篇CVPR2018 视频描述生成相关论文—双向注意力、Transformer、重构网络、层次强化学习
【论文推荐】最新四篇CVPR2018 视频描述生成相关论文—双向注意力、Transformer、重构网络、层次强化学习
专知
31+阅读 · 2018年6月4日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
19+阅读 · 2017年12月17日
【推荐】全卷积语义分割综述
【推荐】全卷积语义分割综述
机器学习研究会
19+阅读 · 2017年8月31日
相关论文
Retrospective: A Scalable Processing-in-Memory Accelerator for Parallel Graph Processing
Arxiv
0+阅读 · 2023年6月27日
The Perspective of Software Professionals on Algorithmic Racism
Arxiv
0+阅读 · 2023年6月27日
Composing Parameter-Efficient Modules with Arithmetic Operations
Arxiv
0+阅读 · 2023年6月26日
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日
Artificial intelligence and biological misuse: Differentiating risks of language models and biological design tools
Arxiv
0+阅读 · 2023年6月24日
Topological signatures of periodic-like signals
Arxiv
0+阅读 · 2023年6月23日
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日
相关基金
多层时空并行 Schwarz 算法的研究
国家自然科学基金
3+阅读 · 2017年12月31日
染色质重塑因子（ARID1A）突变在膀胱移行细胞癌发生中的作用机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
GTAT4和Myocardin相互作用调控心肌肥厚
国家自然科学基金
0+阅读 · 2014年12月31日
应用于SAL中的超宽带线性啁啾光波发射源的研究
国家自然科学基金
0+阅读 · 2014年12月31日
局部波动特征分解(LOD)方法及其在机械故障诊断中的应用研究
国家自然科学基金
0+阅读 · 2013年12月31日
《物理》期刊
国家自然科学基金
4+阅读 · 2013年2月4日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
ADAMTS-4/5和Aggrecan基因改造的间充质干细胞和软骨细胞在软骨组织工程上的应用研究
国家自然科学基金
0+阅读 · 2012年12月31日
《计算机研究与发展》学术期刊
国家自然科学基金
1+阅读 · 2011年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top