会员服务
编译器 · 元理论 · 形式化 · 高阶 · 编程语言 ·
2023 年 4 月 10 日
Defunctionalization with Dependent Types
翻译：依赖类型的无函数化
Yulong Huang,Jeremy Yallop
Yulong Huang,Jeremy Yallop

The defunctionalization translation that eliminates higher-order functions from programs forms a key part of many compilers. However, defunctionalization for dependently-typed languages has not been formally studied. We present the first formally-specified defunctionalization translation for a dependently-typed language and establish key metatheoretical properties such as soundness and type preservation. The translation is suitable for incorporation into type-preserving compilers for dependently-typed languages


翻译：无函数化翻译是从程序中消除高阶函数的关键部分，并且它是许多编译器的一部分。然而，依赖类型语言的无函数化还没有被正式研究。我们介绍了第一个针对依赖类型语言进行形式化规定的无函数化翻译，并建立了关键的元理论性质，如：完备性和类型保留性。该翻译适用于依赖类型语言的类型保留编译器。
0
下载
关闭预览

相关内容

编译器（Compiler），是一种计算机程序，它会将用某种编程语言写成的源代码（原始语言），转换成另一种编程语言（目标语言）。
【干货书】建立基于python的机器学习和深度学习模型，Build Python-based Machine Learning and Deep Learning Models
【干货书】建立基于python的机器学习和深度学习模型，Build Python-based Machine Learning and Deep Learning Models
专知会员服务
48+阅读 · 2022年5月22日
71页PDF，Intro to the Metaverse（元宇宙概念发展透析），Newzoo Trend Report 2021
71页PDF，Intro to the Metaverse（元宇宙概念发展透析），Newzoo Trend Report 2021
专知会员服务
21+阅读 · 2022年2月19日
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
专知会员服务
71+阅读 · 2020年7月28日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【SIGIR2020】一个统一的双视图模型，用于具有不一致性损失的评论总结和情绪分类，A Unified Dual-view Model for Review Summarization and Sentiment Classification with Inconsistency Loss
【SIGIR2020】一个统一的双视图模型，用于具有不一致性损失的评论总结和情绪分类，A Unified Dual-view Model for Review Summarization and Sentiment Classification with Inconsistency Loss
专知会员服务
21+阅读 · 2020年6月3日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
99+阅读 · 2020年5月22日
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
专知会员服务
82+阅读 · 2020年5月10日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
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
专知会员服务
47+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
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日
基于LSTM-CNN组合模型的Twitter情感分析（附代码）
基于LSTM-CNN组合模型的Twitter情感分析（附代码）
机器学习研究会
50+阅读 · 2018年2月21日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
19+阅读 · 2017年12月17日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
Mps1通过磷酸化ERα参与乳腺癌内分泌耐药的分子机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
Kahler 曲面中特殊曲面的研究
国家自然科学基金
0+阅读 · 2014年12月31日
多类型时序逻辑程序设计
国家自然科学基金
0+阅读 · 2013年12月31日
巨噬细胞盐皮质激素受体对动脉粥样硬化的调控作用及其分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
miRNA-92a对Rho激酶调控的动脉粥样硬化血管重构的影响及机制
国家自然科学基金
0+阅读 · 2013年12月31日
Cofilin在Erucin诱导的乳腺癌细胞线粒体分裂和细胞凋亡中的作用及分子机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于高斯类数的自相似集的几何分类
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
Cortical Hem与FoxG1相互作用调控齿状回发育的分子机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
DegP (HtrA)的蛋白酶与分子伴侣活性之间功能转变的分子机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
Can large language models generate salient negative statements?
Arxiv
0+阅读 · 2023年5月26日
ConvGQR: Generative Query Reformulation for Conversational Search
ConvGQR: Generative Query Reformulation for Conversational Search
Arxiv
0+阅读 · 2023年5月26日
Forecasting intraday financial time series with sieve bootstrapping and dynamic updating
Arxiv
0+阅读 · 2023年5月25日
Training Data Extraction From Pre-trained Language Models: A Survey
Arxiv
0+阅读 · 2023年5月25日
Streaming Parrotron for on-device speech-to-speech conversion
Arxiv
0+阅读 · 2023年5月24日
Unit-based Speech-to-Speech Translation Without Parallel Data
Arxiv
0+阅读 · 2023年5月24日
Extracting Shopping Interest-Related Product Types from the Web
Arxiv
0+阅读 · 2023年5月23日
Medical Visual Question Answering: A Survey
Arxiv
15+阅读 · 2021年11月19日
A Survey on Multi-modal Summarization
Arxiv
49+阅读 · 2021年9月11日
A Survey of Model Compression and Acceleration for Deep Neural Networks
Arxiv
66+阅读 · 2019年9月8日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
编译器
元理论
形式化
高阶
编程语言
相关VIP内容
【干货书】建立基于python的机器学习和深度学习模型，Build Python-based Machine Learning and Deep Learning Models
【干货书】建立基于python的机器学习和深度学习模型，Build Python-based Machine Learning and Deep Learning Models
专知会员服务
48+阅读 · 2022年5月22日
71页PDF，Intro to the Metaverse（元宇宙概念发展透析），Newzoo Trend Report 2021
71页PDF，Intro to the Metaverse（元宇宙概念发展透析），Newzoo Trend Report 2021
专知会员服务
21+阅读 · 2022年2月19日
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
专知会员服务
71+阅读 · 2020年7月28日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【SIGIR2020】一个统一的双视图模型，用于具有不一致性损失的评论总结和情绪分类，A Unified Dual-view Model for Review Summarization and Sentiment Classification with Inconsistency Loss
【SIGIR2020】一个统一的双视图模型，用于具有不一致性损失的评论总结和情绪分类，A Unified Dual-view Model for Review Summarization and Sentiment Classification with Inconsistency Loss
专知会员服务
21+阅读 · 2020年6月3日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
99+阅读 · 2020年5月22日
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
专知会员服务
82+阅读 · 2020年5月10日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
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
专知会员服务
47+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
42+阅读 · 2019年1月3日
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日
基于LSTM-CNN组合模型的Twitter情感分析（附代码）
基于LSTM-CNN组合模型的Twitter情感分析（附代码）
机器学习研究会
50+阅读 · 2018年2月21日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
19+阅读 · 2017年12月17日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
相关论文
Can large language models generate salient negative statements?
Arxiv
0+阅读 · 2023年5月26日
ConvGQR: Generative Query Reformulation for Conversational Search
ConvGQR: Generative Query Reformulation for Conversational Search
Arxiv
0+阅读 · 2023年5月26日
Forecasting intraday financial time series with sieve bootstrapping and dynamic updating
Arxiv
0+阅读 · 2023年5月25日
Training Data Extraction From Pre-trained Language Models: A Survey
Arxiv
0+阅读 · 2023年5月25日
Streaming Parrotron for on-device speech-to-speech conversion
Arxiv
0+阅读 · 2023年5月24日
Unit-based Speech-to-Speech Translation Without Parallel Data
Arxiv
0+阅读 · 2023年5月24日
Extracting Shopping Interest-Related Product Types from the Web
Arxiv
0+阅读 · 2023年5月23日
Medical Visual Question Answering: A Survey
Arxiv
15+阅读 · 2021年11月19日
A Survey on Multi-modal Summarization
Arxiv
49+阅读 · 2021年9月11日
A Survey of Model Compression and Acceleration for Deep Neural Networks
Arxiv
66+阅读 · 2019年9月8日
相关基金
Mps1通过磷酸化ERα参与乳腺癌内分泌耐药的分子机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
Kahler 曲面中特殊曲面的研究
国家自然科学基金
0+阅读 · 2014年12月31日
多类型时序逻辑程序设计
国家自然科学基金
0+阅读 · 2013年12月31日
巨噬细胞盐皮质激素受体对动脉粥样硬化的调控作用及其分子机制
国家自然科学基金
0+阅读 · 2013年12月31日
miRNA-92a对Rho激酶调控的动脉粥样硬化血管重构的影响及机制
国家自然科学基金
0+阅读 · 2013年12月31日
Cofilin在Erucin诱导的乳腺癌细胞线粒体分裂和细胞凋亡中的作用及分子机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于高斯类数的自相似集的几何分类
国家自然科学基金
0+阅读 · 2012年12月31日
基于Decorin基因甲基化调控的非小细胞肺癌转移的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
Cortical Hem与FoxG1相互作用调控齿状回发育的分子机制研究
国家自然科学基金
0+阅读 · 2011年12月31日
DegP (HtrA)的蛋白酶与分子伴侣活性之间功能转变的分子机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top