![](https://img-blog.csdnimg.cn/20190918140145169.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
社区活动
文章平均质量分 79
分享社区活动最新动态
仓颉编程语言
这个作者很懒,什么都没留下…
展开
-
沙龙预告 | 自托管依赖类型语言的设计与实现
本次技术沙龙联合贝叶斯茶思屋@Edinburgh,邀请了圣安德鲁斯大学计算机科学专业的准教授 Edwin Brady 为大家介绍 Idris,一种具有依赖类型的函数式编程语言。原创 2023-03-21 19:59:39 · 784 阅读 · 0 评论 -
SIG-Runtime 技术沙龙预告
直播预约编程语言技术社区介绍编程语言技术社区会由多个 SIG(Special Interest Gorup)与 WG(Work Group)组成,对应编程语言设计、实现、配套工具和生态链等相关技术,以及对应技术在场景下的应用探索,引导业界技术专家、高校科研教师为 Group Leader,形成良好的产学研闭环,吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG-Runtime旨在建设一个针对编程语言 Ru...原创 2022-02-22 19:46:54 · 896 阅读 · 0 评论 -
议题征集 | 欢迎报名 SIG-Runtime 技术沙龙
SIG-Runtime 是由编程语言社区发起的 Runtime 技术相关的兴趣小组,我们计划在 2022 年 2 月 27 日举行一次技术沙龙,届时将会有来自高校的学者、企业的技术专家,与社区小伙伴一同分享、探讨 Runtime 相关的研究或实践。同时,社区诚挚邀请您报名成为演讲嘉宾,分享您的想法、经验、解决方案!SIG 介绍:https://gitee.com/HW-PLLab/community/tree/master/sigs/SIG-Runtime沙龙简介沙龙主题:SIG-Runtime .原创 2022-02-16 16:56:52 · 961 阅读 · 0 评论 -
活动回顾 | SIG-类型系统 技术沙龙
2021 年 11 月 28 日,由编程语言社区举办的SIG-类型系统技术沙龙通过线上直播方式举办。SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长的平台,吸引并聚集对类型系统相关核心技术有所研究、有所建树的专家、学者以及对学习类型系统相关技术拥有热情的学生们。当前已加入多名核心成员,分别代表企业技术专家、学术界研究学者、学生群体与用户群体等。SIG 介绍:https://gitee.com/HW-PLLab/community/tree/master/sigs...原创 2021-12-01 11:14:57 · 788 阅读 · 0 评论 -
SIG-类型系统 技术沙龙预告
编程语言技术社区介绍编程语言技术社区会由多个 SIG(Special Interest Gorup)与 WG(Work Group)组成,对应编程语言设计、实现、配套工具和生态链等相关技术,以及对应技术在场景下的应用探索,引导业界技术专家、高校科研教师为 Group Leader,形成良好的产学研闭环,吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG-类型系统旨在建设一个针对编程语言类型系统技术领域学习、分享、成长...原创 2021-11-23 18:58:31 · 1366 阅读 · 0 评论 -
活动回顾 | SIG-程序分析 技术沙龙
2021 年 8 月 28 日,由编程语言社区举办的SIG-程序分析技术沙龙在北京朝阳区万达广场 A 座举办。SIG-程序分析是编程语言技术社区创建的第五个 SIG,致力于建设成为一个针对程序分析领域学习、分享、成长的社区平台。核心成员主要来自北京大学、南京大学、国防科技大学、新加坡国立大学、中科院研究所、上海科技大学、华为公司等,另外还有来自日本国立情报学研究所、香港科技大学、思码逸、鸿渐科技等的 SIG 成员,他们都是学术界与工业界对程序分析技术有着丰富经验的专家和爱好者。孙军老师通过几个.原创 2021-08-30 20:04:05 · 182 阅读 · 0 评论 -
SIG-程序分析 技术沙龙预告
编程语言社区介绍编程语言社区期望在国内提供一个公开的、大规模的编程语言理论、实现、应用等技术相关的交流平台,旨在推动国内编程语言理论与实现等技术。如果你加入编程语言社区,可以: 接触:接触到前沿科技,有机会在社区中孵化项目,支持商用转换 贡献:参与社区建设与开源贡献,享受社区带来的成就感,同时获得技术成长 收获:有机会收获各个研究领域的实习和就业机会 提高:提高个人影响力,扩展学术和工业界人脉 归属:可以在社区中找到归属感 社区地址:https...原创 2021-08-24 19:05:52 · 446 阅读 · 0 评论 -
活动回顾 | SIG-可微编程技术沙龙
2021 年 8 月 15 日,编程语言技术社区系列活动第四场,暨 SIG-可微编程 的首次技术沙龙在线上举办。SIG-可微编程 由编程语言社区创建,其核心成员主要来自哈佛大学、北京大学、爱丁堡大学、滑铁卢大学、普度大学、编程语言 Lab 等,另外还有来自上海交通大学、女王大学和北京洛塔信息科技公司等的 SIG 成员,他们都是学术界与工业界对可微编程等程序微分技术有浓厚兴趣和相关使用、研究经验的专家和爱好者。涂玏 博士首先通过综述的方式,概括了程序微分的基本数学原理和实现方法,通过对业内常见自动原创 2021-08-16 20:49:48 · 171 阅读 · 0 评论 -
SIG-可微编程 技术沙龙预告
编程语言社区介绍编程语言社区期望在国内提供一个公开的、大规模的编程语言理论、实现、应用等技术相关的交流平台,旨在推动国内编程语言理论与实现等技术。如果你加入编程语言社区,可以: 接触:接触到前沿科技,有机会在社区中孵化项目,支持商用转换 贡献:参与社区建设与开源贡献,享受社区带来的成就感,同时获得技术成长 收获:有机会收获各个研究领域的实习和就业机会 提高:提高个人影响力,扩展学术和工业界人脉 归属:可以在社区中找到归属感 社区地址:https...原创 2021-08-11 14:28:51 · 260 阅读 · 0 评论 -
编程语言技术沙龙预告|第五期:Designing Safe, Flexible Linguistic Abstractions for Control Flow
分享主题 /TitleDesigning Safe, Flexible Linguistic Abstractions for Control Flow分享时间 /Time2021-07-22(Thursday)10:00-12:00(Beijing Time)会议链接 /Zhumu IDZhumu ID:800272207会议链接:https://welink.zhumu.com/j/800272207主讲人 /SpeakerYiz...原创 2021-07-20 15:46:08 · 98 阅读 · 0 评论 -
活动回顾 | SIG-DSL扩展 技术沙龙
2021 年 7 月 3 日,编程语言技术社区系列活动第二场,同时也是首届SIG-DSL扩展技术沙龙在杭州西湖边成功举办。SIG-DSL扩展是编程语言技术社区创建的第二个 SIG,核心成员主要来自网易、蚂蚁金服、ThoughtWorks、民航第二研究所、武汉大学、编程语言 Lab 等,另外还有大量来自 itemis AG、荣耀、巴别时代、北大、加州理工、香港城市大学等的 SIG 成员,他们都是行业与高校内对 DSL 技术及工程化应用有丰富经验的专家和爱好者。徐潇老师介绍了 eDSL 的概..原创 2021-07-16 17:16:53 · 2404 阅读 · 0 评论 -
活动回顾 | SIG-编程语言测试 技术沙龙
活动回顾 | SIG-编程语言测试 技术沙龙2021 年 7 月 12 日,编程语言技术社区系列活动第三场, 同时也是 SIG-编程语言测试的首次技术沙龙在上海紫竹园举办。SIG - 编程语言测试是编程语言技术社区创建的第三个 SIG,核心成员主要来自大连理工大学,天津大学、西北大学、上海交通大学、南京大学、南方科技大学、新加坡国立大学、编程语言 Lab 等,另外还有来自加拿大滑铁卢大学、复旦大学、清华大学、华东师范大学、爱丁堡大学、山东大学、蚂蚁金服、平头哥等的 SIG 成员,他们都是行业与高校对编程原创 2021-07-13 10:48:17 · 189 阅读 · 0 评论 -
SIG-编程语言测试 技术沙龙预告
编程语言技术社区介绍编程语言技术社区会由多个 SIG(Special Interest Gorup) 与 WG(Work Group) 组成,对应编程语言设计、实现、配套工具和生态链等相关技术,以及对应技术在场景下的应用探索,引导业界技术专家、高校科研教师为 Group Leader,形成良好的产学研闭环,吸引技术爱好者、学生到社区中成长。更多介绍可以点开编程语言Lab公众号的“关于我们”进行了解。SIG 介绍SIG - 编程语言测试 旨在通过建立针对编程语言测试领域的学习、交流、分享平台,吸引并.原创 2021-07-07 12:04:33 · 268 阅读 · 0 评论