关注
Gergő Érdi
Gergő Érdi
未知所在单位机构
在 erdi.hu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91, 2016
502016
Generic description of well-scoped, well-typed syntaxes
G Érdi
arXiv preprint arXiv:1804.00119, 2018
42018
An Adventure in Symbolic Execution
G Érdi
32nd Symposium on Implementation and Application of Functional Languages, 2020
12020
Pattern synonyms (extended version)
M Pickering, G Érdi, SP Jones, RA Eisenberg
12016
Compositional Type Checking
G Érdi
Master thesis, Eötvös Loránd University, 2011
12011
Conor McBride: The Derivative of a Regular Type is its Type of One-Hole Contexts
G Érdi
系统目前无法执行此操作，请稍后再试。
文章 1–6
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交