会员服务
层 · 模态 · 代码 · 编程语言 ·
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讲授
专知会员服务
76+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
【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日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
82+阅读 · 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
专知会员服务
50+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
164+阅读 · 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】机器学习可解释性
专知会员服务
105+阅读 · 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
待字闺中
18+阅读 · 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：各种卷积网络架构的理解
全球人工智能
20+阅读 · 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
相关主题
层
模态
代码
编程语言
最新内容
KDD 2026 | MixRAGRec：面向LLM推荐的混合专家KG-RAG框架
KDD 2026 | MixRAGRec：面向LLM推荐的混合专家KG-RAG框架
专知会员服务
2+阅读 · 今天12:11
综述 | 推理时控制：可信大语言模型的运行时治理全景
综述 | 推理时控制：可信大语言模型的运行时治理全景
专知会员服务
2+阅读 · 今天12:10
BES：让语言模型通过双向进化搜索自我改进
BES：让语言模型通过双向进化搜索自我改进
专知会员服务
4+阅读 · 5月30日
ICML 2026 | 揭开视觉语言模型计数瓶颈：看得到，却说不出
ICML 2026 | 揭开视觉语言模型计数瓶颈：看得到，却说不出
专知会员服务
5+阅读 · 5月30日
以色列-美国-伊朗战争中的无人机：关键要点
以色列-美国-伊朗战争中的无人机：关键要点
专知会员服务
4+阅读 · 5月30日
美以伊战争：首次人工智能战争——军事自主性困境
美以伊战争：首次人工智能战争——军事自主性困境
专知会员服务
5+阅读 · 5月30日
《Palantir任务保障性软件安全标准（MA-S2）》
《Palantir任务保障性软件安全标准（MA-S2）》
专知会员服务
14+阅读 · 5月30日
《美海军利用扩展现实增强知识流动研究》300页报告
《美海军利用扩展现实增强知识流动研究》300页报告
专知会员服务
8+阅读 · 5月30日
基于声学的无人机检测技术综述
基于声学的无人机检测技术综述
专知会员服务
8+阅读 · 5月30日
《当代混合战争分析框架：俄乌战争经验教训》
《当代混合战争分析框架：俄乌战争经验教训》
专知会员服务
9+阅读 · 5月30日
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
专知会员服务
12+阅读 · 5月29日
AutoScientists：自组织智能体团队驱动长期科学实验
AutoScientists：自组织智能体团队驱动长期科学实验
专知会员服务
7+阅读 · 5月29日
《阿利·伯克级驱逐舰的战损修理：桌面推演结果》报告
《阿利·伯克级驱逐舰的战损修理：桌面推演结果》报告
专知会员服务
6+阅读 · 5月29日
战略前沿人工智能的再思考（中文）
战略前沿人工智能的再思考（中文）
专知会员服务
8+阅读 · 5月29日
《量化地基防空系统间接效应的博弈论方法》
《量化地基防空系统间接效应的博弈论方法》
专知会员服务
7+阅读 · 5月29日
相关VIP内容
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
不可错过！《机器学习100讲》课程，UBC Mark Schmidt讲授
专知会员服务
76+阅读 · 2022年6月28日
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
【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日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
82+阅读 · 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
专知会员服务
50+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
164+阅读 · 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】机器学习可解释性
专知会员服务
105+阅读 · 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
待字闺中
18+阅读 · 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：各种卷积网络架构的理解
全球人工智能
20+阅读 · 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