Jeremy Yallop 个人学术档案

引用次数

	总计	2019 年至今
引用	1184	454
h 指数	15	11
i10 指数	19	13

100

20062007200820092010201120122013201420152016201720182019202020212022202320247 27 37 51 73 59 62 47 62 57 69 83 87 88 97 66 75 64 64

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Sam LindleyThe University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Philip WadlerUniversity of Edinburgh and IOHK/IOG在 inf.ed.ac.uk 的电子邮件经过验证
Leo WhiteJane Street在 lpw25.net 的电子邮件经过验证
Anil MadhavapeddyProfessor of Planetary Computing, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Ningning XieUniversity of Toronto / Google DeepMind在 google.com 的电子邮件经过验证
Ohad KammarUniversity of Edinburgh School of Informatics在 ed.ac.uk 的电子邮件经过验证
KC SivaramakrishnanTarides / IIT Madras在 iitm.ac.in 的电子邮件经过验证
Robert AtkeyUniversity of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Neelakantan R. KrishnaswamiUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Tamara von GlehnDeepMind在 google.com 的电子邮件经过验证
Alban ReynaudENS de Lyon在 ens-lyon.fr 的电子邮件经过验证
Allais GuillaumeChancellor's Fellow, University of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Meng WangReader in Computer Science, University of Bristol在 bristol.ac.uk 的电子邮件经过验证
Andres LöhHaskell Consultant, Well-Typed LLP在 well-typed.com 的电子邮件经过验证
Nicolas WuReader in Computer Science, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
Matthew PickeringWell-Typed LLP在 well-typed.com 的电子邮件经过验证
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physics在 fmf.uni-lj.si 的电子邮件经过验证
Ted BriscoeProfessor of Computational Linguistics, MBZUAI在 mbzuai.ac.ae 的电子邮件经过验证
Anna KorhonenProfessor, Computer Science and Linguistics, University of Cambridge在 cam.ac.uk 的电子邮件经过验证
Edwin BradyReader, School of Computer Science, University of St Andrews在 st-andrews.ac.uk 的电子邮件经过验证

关注

Jeremy Yallop

University of Cambridge

在 cl.cam.ac.uk 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Links: Web programming without tiers E Cooper, S Lindley, P Wadler, J Yallop International Symposium on Formal Methods for Components and Objects, 266-296, 2006	489	2006
Idioms are oblivious, arrows are meticulous, monads are promiscuous S Lindley, P Wadler, J Yallop Electronic notes in theoretical computer science 229 (5), 97-117, 2011	80	2011
Effective Concurrency through Algebraic Effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Users and Developers Workshop, 2015	76	2015
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	68	2009
The arrow calculus S Lindley, P Wadler, J Yallop Journal of Functional Programming 20 (1), 51-69, 2010	57	2010
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015	56	2015
The essence of form abstraction E Cooper, S Lindley, P Wadler, J Yallop Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008	46	2008
Staged Generic Programming J Yallop Proceedings of the ACM on Programming Languages 1 (ICFP), 2017	38	2017
A typed, algebraic approach to parsing NR Krishnaswami, J Yallop Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	27	2019
Practical generic programming in OCaml J Yallop Proceedings of the 2007 workshop on Workshop on ML, 83-94, 2007	27	2007
An idiom’s guide to formlets E Cooper, S Lindley, P Wadler, J Yallop	26	2007
Modular macros J Yallop, L White OCaml Users and Developers Workshop, 2015	20*	2015
Lightweight higher-kinded polymorphism J Yallop, L White International Symposium on Functional and Logic Programming, 119-135, 2014	18	2014
Partially static data as free extension of algebras J Yallop, T von Glehn, O Kammar PACMPL 2 (ICFP), 100:1-100:30, 2018	17	2018
A modular foreign function interface J Yallop, D Sheets, A Madhavapeddy Science of Computer Programming 164, 82-97, 2018	17	2018
Staging with class: a specification for typed template haskell N Xie, M Pickering, A Löh, N Wu, J Yallop, M Wang Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022	13	2022
Staging generic programming J Yallop Partial Evaluation and Program Manipulation, 2016	12	2016
Generating mutually recursive definitions J Yallop, O Kiselyov Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019	10	2019
Abstraction for web programming J Yallop The University of Edinburgh, 2010	10	2010
Automatic acquisition of adjectival subcategorization from corpora J Yallop, A Korhonen, T Briscoe Proceedings of the 43rd Annual Meeting of the Association for Computational …, 2005	9	2005

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用