Jeremy Yallop

Cited by

	All	Since 2019
Citations	1186	457
h-index	15	11
i10-index	19	13

100

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

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Leo WhiteJane StreetVerified email at lpw25.net
Anil MadhavapeddyProfessor of Planetary Computing, University of CambridgeVerified email at cl.cam.ac.uk
Ningning XieUniversity of Toronto / Google DeepMindVerified email at google.com
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Tamara von GlehnDeepMindVerified email at google.com
Alban ReynaudENS de LyonVerified email at ens-lyon.fr
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Matthew PickeringWell-Typed LLPVerified email at well-typed.com
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Ted BriscoeProfessor of Computational Linguistics, MBZUAIVerified email at mbzuai.ac.ae
Anna KorhonenProfessor, Artificial Intelligence, University of CambridgeVerified email at cam.ac.uk
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk

Jeremy Yallop

University of Cambridge

Verified email at cl.cam.ac.uk - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	79	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
A modular foreign function interface J Yallop, D Sheets, A Madhavapeddy Science of Computer Programming 164, 82-97, 2018	18	2018
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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors