Jeremy Yallop

Cited by

	All	Since 2018
Citations	1139	502
h-index	14	11
i10-index	16	12

120

2006200720082009201020112012201320142015201620172018201920202021202220237 26 36 54 72 62 65 48 61 54 68 78 92 90 102 68 84 64

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 IOHKVerified email at inf.ed.ac.uk
Anil MadhavapeddyProfessor of Planetary Computing, University of CambridgeVerified email at cl.cam.ac.uk
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Ningning XieUniversity of Toronto / Google DeepMindVerified email at google.com
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Alban ReynaudENS de LyonVerified email at ens-lyon.fr
Tamara von GlehnDeepMindVerified email at google.com
Allais GuillaumeChancellor's Fellow, University of StrathclydeVerified email at strath.ac.uk
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, Computer Science and Linguistics, University of CambridgeVerified email at cam.ac.uk
Edwin BradyReader, School of Computer Science, University of St AndrewsVerified email at st-andrews.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
Hai LiuIntel LabsVerified email at intel.com

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	492	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	77	2015
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	66	2009
The arrow calculus S Lindley, P Wadler, J Yallop Journal of Functional Programming 20 (1), 51-69, 2010	55	2010
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015	53	2015
The essence of form abstraction E Cooper, S Lindley, P Wadler, J Yallop Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008	47	2008
Staged Generic Programming J Yallop Proceedings of the ACM on Programming Languages 1 (ICFP), 2017	33	2017
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
A typed, algebraic approach to parsing NR Krishnaswami, J Yallop Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	23	2019
Lightweight higher-kinded polymorphism J Yallop, L White Functional and Logic Programming: 12th International Symposium, FLOPS 2014 …, 2014	19	2014
Modular macros J Yallop, L White OCaml Users and Developers Workshop, 2015	18*	2015
Partially static data as free extension of algebras J Yallop, T von Glehn, O Kammar PACMPL 2 (ICFP), 100:1-100:30, 2018	15	2018
A modular foreign function interface J Yallop, D Sheets, A Madhavapeddy Science of Computer Programming 164, 82-97, 2018	12	2018
Staging generic programming J Yallop Partial Evaluation and Program Manipulation, 2016	12	2016
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
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	8	2022
First-class modules: hidden power and tantalizing promises J Yallop, O Kiselyov ACM SIGPLAN Workshop on ML, 2010	8	2010
Abstraction for web programming J Yallop The University of Edinburgh, 2010	8	2010

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