会员服务
泛函 · 讲稿 · 在线 · 编程语言 ·
2022 年 7 月 23 日
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education
翻译：第十和第十一次教育领域职能方案编制趋势国际讲习班
Peter Achten,Elena Machkasova
Peter Achten,Elena Machkasova

This volume contains the papers, accepted after post-reviewing, based on presentations submitted to TFPIE 2021 and TFPIE 2022 that took place online, in collaboration with LambdaDays 2021/22 in Krak\'ow, Poland. TFPIE stands for Trends in Functional Programming in Education, where authors present research and experiences in teaching concepts of functional programming at any level.


翻译：本卷载有经审查后接受的论文,这些论文是根据提交TRPIE 2021年和TFIE 2022年的介绍编写的,这些介绍是与LambdaDays 2021/22(波兰克拉克丘)合作在网上进行的。
0
下载
关闭预览

相关内容

NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【跨语言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日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
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日
MARVELD1基因调控肝细胞癌介入治疗的机制研究
国家自然科学基金
0+阅读 · 2016年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
非线性椭圆型偏微分方程的边界正则性
国家自然科学基金
0+阅读 · 2012年12月31日
晶圆制造Interbay物料运输系统的动态调度研究
国家自然科学基金
0+阅读 · 2012年12月31日
胃癌17q21.33缺失区内候选基因TOB1功能及其失活机制的研究
国家自然科学基金
0+阅读 · 2012年12月31日
Cystatin B缺失与Prion疾病自噬作用机制的研究
国家自然科学基金
0+阅读 · 2011年12月31日
驴Cathelicidin EA-CATH1的结构与功能研究及分子设计
国家自然科学基金
0+阅读 · 2009年12月31日
用dsDNA微阵列筛选NF-κDNA靶点及靶基因
国家自然科学基金
0+阅读 · 2008年12月31日
Proceedings of the Sixth Working Formal Methods Symposium
Arxiv
0+阅读 · 2022年9月19日
Selection on treatment in the target population of generalizabillity and transportability analyses
Arxiv
0+阅读 · 2022年9月19日
A Splicing Approach to Best Subset of Groups Selection
Arxiv
0+阅读 · 2022年9月18日
Base rate neglect in computer science education
Arxiv
0+阅读 · 2022年9月17日
Factorizable Joint Shift in Multinomial Classification
Arxiv
0+阅读 · 2022年9月16日
Knowledge Graph Induction enabling Recommending and Trend Analysis: A Corporate Research Community Use Case
Arxiv
0+阅读 · 2022年9月15日
A Survey of Decision Making in Adversarial Games
Arxiv
82+阅读 · 2022年7月16日
AI for Next Generation Computing: Emerging Trends and Future Directions
Arxiv
19+阅读 · 2022年3月5日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
泛函
讲稿
在线
编程语言
相关VIP内容
NLP必读经典文献100篇
专知会员服务
123+阅读 · 2020年9月8日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
71+阅读 · 2020年8月2日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
【跨语言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日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
52+阅读 · 2019年9月29日
热门VIP内容
相关资讯
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Latest News & Announcements of the Plenary Talk1
【ICIG2021】Latest News & Announcements of the Plenary Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年11月1日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
28+阅读 · 2019年5月18日
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日
相关论文
Proceedings of the Sixth Working Formal Methods Symposium
Arxiv
0+阅读 · 2022年9月19日
Selection on treatment in the target population of generalizabillity and transportability analyses
Arxiv
0+阅读 · 2022年9月19日
A Splicing Approach to Best Subset of Groups Selection
Arxiv
0+阅读 · 2022年9月18日
Base rate neglect in computer science education
Arxiv
0+阅读 · 2022年9月17日
Factorizable Joint Shift in Multinomial Classification
Arxiv
0+阅读 · 2022年9月16日
Knowledge Graph Induction enabling Recommending and Trend Analysis: A Corporate Research Community Use Case
Arxiv
0+阅读 · 2022年9月15日
A Survey of Decision Making in Adversarial Games
Arxiv
82+阅读 · 2022年7月16日
AI for Next Generation Computing: Emerging Trends and Future Directions
Arxiv
19+阅读 · 2022年3月5日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
相关基金
MARVELD1基因调控肝细胞癌介入治疗的机制研究
国家自然科学基金
0+阅读 · 2016年12月31日
Schr？dinger-Poisson方程守恒DDG方法研究
国家自然科学基金
1+阅读 · 2015年12月31日
Calderon问题和边界刚性问题
国家自然科学基金
0+阅读 · 2013年12月31日
Intraflagellar Transport运输纤毛蛋白的分子机理
国家自然科学基金
0+阅读 · 2012年12月31日
非线性椭圆型偏微分方程的边界正则性
国家自然科学基金
0+阅读 · 2012年12月31日
晶圆制造Interbay物料运输系统的动态调度研究
国家自然科学基金
0+阅读 · 2012年12月31日
胃癌17q21.33缺失区内候选基因TOB1功能及其失活机制的研究
国家自然科学基金
0+阅读 · 2012年12月31日
Cystatin B缺失与Prion疾病自噬作用机制的研究
国家自然科学基金
0+阅读 · 2011年12月31日
驴Cathelicidin EA-CATH1的结构与功能研究及分子设计
国家自然科学基金
0+阅读 · 2009年12月31日
用dsDNA微阵列筛选NF-κDNA靶点及靶基因
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top