会员服务
泛函 · 设计 · 编程语言 ·
2021 年 6 月 19 日
Elegant elaboration with function invocation
翻译：具有功能援引功能的精细阐述
Tesla Zhang
Tesla Zhang
from arxiv, 6 pages, 3 figures

We present an elegant design of the core language in a dependently-typed lambda calculus with $\delta$-reduction and an elaboration algorithm.


翻译：我们展示了一种优雅的核心语言设计 一种依赖性型的羊羔微积分 降值$delta$ 和一种精心设计的算法。
0
下载
关闭预览

相关内容

【2020Manning新书】微型化Python项目，325页pdf，Tiny Python Projects
【2020Manning新书】微型化Python项目，325页pdf，Tiny Python Projects
专知会员服务
40+阅读 · 2020年8月18日
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
专知会员服务
106+阅读 · 2020年6月10日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
99+阅读 · 2020年5月22日
【2020新书】自然语言处理Python与spaCy实践，216页pdf，NLP with Python
【2020新书】自然语言处理Python与spaCy实践，216页pdf，NLP with Python
专知会员服务
105+阅读 · 2020年5月1日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
【AAAI2020-清华大学】高效的异构协同过滤推荐（Efficient Heterogeneous Collaborative Filtering without Negative Sampling for Recommendation），张敏，马少平等
【AAAI2020-清华大学】高效的异构协同过滤推荐（Efficient Heterogeneous Collaborative Filtering without Negative Sampling for Recommendation），张敏，马少平等
专知会员服务
60+阅读 · 2019年11月22日
【ICCV 2019 Toturial】Global Optimization for Geometric Understanding with Provable Guarantees（具有可证明保证的几何理解的全局优化）
【ICCV 2019 Toturial】Global Optimization for Geometric Understanding with Provable Guarantees（具有可证明保证的几何理解的全局优化）
专知会员服务
15+阅读 · 2019年11月1日
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日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
CVPR2019| 05-17更新11篇论文及代码合集（含一篇oral，视觉跟踪/实例分割/行人重识别等）
CVPR2019| 05-17更新11篇论文及代码合集（含一篇oral，视觉跟踪/实例分割/行人重识别等）
极市平台
11+阅读 · 2019年5月17日
Deep Compression/Acceleration：模型压缩加速论文汇总
Deep Compression/Acceleration：模型压缩加速论文汇总
极市平台
14+阅读 · 2019年5月15日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
一文带你读懂 SegNet（语义分割）
一文带你读懂 SegNet（语义分割）
AI研习社
19+阅读 · 2019年3月9日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
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
待字闺中
16+阅读 · 2018年12月24日
【简评】[CVPR2017]Loss Max-Pooling for Semantic Image Segmentation
【简评】[CVPR2017]Loss Max-Pooling for Semantic Image Segmentation
极市平台
5+阅读 · 2017年6月15日
Abduction of trap invariants in parameterized systems
Arxiv
0+阅读 · 2021年8月20日
A Linear-Time Nominal $μ$-Calculus with Name Allocation
Arxiv
0+阅读 · 2021年8月20日
Quad-cone-rotor: A Novel Tilt Quadrotor with Severe-fault-tolerant Ability
Arxiv
0+阅读 · 2021年8月19日
A Non-Stationary Channel Model with Correlated NLoS/LoS States for ELAA-mMIMO
Arxiv
0+阅读 · 2021年8月18日
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Arxiv
0+阅读 · 2021年8月18日
Scalable regret for learning to control network-coupled subsystems with unknown dynamics
Arxiv
0+阅读 · 2021年8月18日
Variational Bayesian Reinforcement Learning with Regret Bounds
Arxiv
3+阅读 · 2018年7月25日
Towards Training Probabilistic Topic Models on Neuromorphic Multi-chip Systems
Arxiv
3+阅读 · 2018年4月10日
Compassionately Conservative Balanced Cuts for Image Segmentation
Arxiv
5+阅读 · 2018年3月27日
Conditional Random Field and Deep Feature Learning for Hyperspectral Image Segmentation
Arxiv
11+阅读 · 2017年12月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
泛函
设计
编程语言
相关VIP内容
【2020Manning新书】微型化Python项目，325页pdf，Tiny Python Projects
【2020Manning新书】微型化Python项目，325页pdf，Tiny Python Projects
专知会员服务
40+阅读 · 2020年8月18日
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
专知会员服务
106+阅读 · 2020年6月10日
【Manning新书】现代Java实战，592页pdf
【Manning新书】现代Java实战，592页pdf
专知会员服务
99+阅读 · 2020年5月22日
【2020新书】自然语言处理Python与spaCy实践，216页pdf，NLP with Python
【2020新书】自然语言处理Python与spaCy实践，216页pdf，NLP with Python
专知会员服务
105+阅读 · 2020年5月1日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
【AAAI2020-清华大学】高效的异构协同过滤推荐（Efficient Heterogeneous Collaborative Filtering without Negative Sampling for Recommendation），张敏，马少平等
【AAAI2020-清华大学】高效的异构协同过滤推荐（Efficient Heterogeneous Collaborative Filtering without Negative Sampling for Recommendation），张敏，马少平等
专知会员服务
60+阅读 · 2019年11月22日
【ICCV 2019 Toturial】Global Optimization for Geometric Understanding with Provable Guarantees（具有可证明保证的几何理解的全局优化）
【ICCV 2019 Toturial】Global Optimization for Geometric Understanding with Provable Guarantees（具有可证明保证的几何理解的全局优化）
专知会员服务
15+阅读 · 2019年11月1日
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日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
热门VIP内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
CVPR2019| 05-17更新11篇论文及代码合集（含一篇oral，视觉跟踪/实例分割/行人重识别等）
CVPR2019| 05-17更新11篇论文及代码合集（含一篇oral，视觉跟踪/实例分割/行人重识别等）
极市平台
11+阅读 · 2019年5月17日
Deep Compression/Acceleration：模型压缩加速论文汇总
Deep Compression/Acceleration：模型压缩加速论文汇总
极市平台
14+阅读 · 2019年5月15日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
一文带你读懂 SegNet（语义分割）
一文带你读懂 SegNet（语义分割）
AI研习社
19+阅读 · 2019年3月9日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
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
待字闺中
16+阅读 · 2018年12月24日
【简评】[CVPR2017]Loss Max-Pooling for Semantic Image Segmentation
【简评】[CVPR2017]Loss Max-Pooling for Semantic Image Segmentation
极市平台
5+阅读 · 2017年6月15日
相关论文
Abduction of trap invariants in parameterized systems
Arxiv
0+阅读 · 2021年8月20日
A Linear-Time Nominal $μ$-Calculus with Name Allocation
Arxiv
0+阅读 · 2021年8月20日
Quad-cone-rotor: A Novel Tilt Quadrotor with Severe-fault-tolerant Ability
Arxiv
0+阅读 · 2021年8月19日
A Non-Stationary Channel Model with Correlated NLoS/LoS States for ELAA-mMIMO
Arxiv
0+阅读 · 2021年8月18日
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Arxiv
0+阅读 · 2021年8月18日
Scalable regret for learning to control network-coupled subsystems with unknown dynamics
Arxiv
0+阅读 · 2021年8月18日
Variational Bayesian Reinforcement Learning with Regret Bounds
Arxiv
3+阅读 · 2018年7月25日
Towards Training Probabilistic Topic Models on Neuromorphic Multi-chip Systems
Arxiv
3+阅读 · 2018年4月10日
Compassionately Conservative Balanced Cuts for Image Segmentation
Arxiv
5+阅读 · 2018年3月27日
Conditional Random Field and Deep Feature Learning for Hyperspectral Image Segmentation
Arxiv
11+阅读 · 2017年12月27日
Top
微信扫码咨询专知VIP会员
Top