Jeremy Yallop

Cited by

	All	Since 2018
Citations	1089	461
h-index	14	10
i10-index	16	11

120

2006200720082009201020112012201320142015201620172018201920202021202220237 24 36 49 71 61 66 45 63 54 67 77 91 87 107 67 81 28

Public access

View all

3 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
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
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
Ningning XieGoogle Brain / University of TorontoVerified email at google.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, 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
Hai LiuIntel LabsVerified email at intel.com
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

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 Formal Methods for Components and Objects: 5th International Symposium, FMCO …, 2007	474	2007
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	77	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	62	2009
The arrow calculus S Lindley, P Wadler, J Yallop Journal of Functional Programming 20 (1), 51-69, 2010	52	2010
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015	50	2015
The essence of form abstraction E Cooper, S Lindley, P Wadler, J Yallop Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008	45	2008
Staged Generic Programming J Yallop Proceedings of the ACM on Programming Languages 1 (ICFP), 2017	30	2017
An idiom’s guide to formlets E Cooper, S Lindley, P Wadler, J Yallop Technical Report EDI-INF-RR-1263, University of Edinburgh, 2008	26	2008
Practical generic programming in OCaml J Yallop Proceedings of the 2007 workshop on Workshop on ML, 83-94, 2007	26	2007
A typed, algebraic approach to parsing NR Krishnaswami, J Yallop Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	21	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	17*	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
Staging generic programming J Yallop Partial Evaluation and Program Manipulation, 2016	12	2016
A modular foreign function interface J Yallop, D Sheets, A Madhavapeddy Science of Computer Programming 164, 82-97, 2018	10	2018
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
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
Generating mutually recursive definitions J Yallop, O Kiselyov Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019	7	2019

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