Jeremy Yallop

Cited by

	All	Since 2018
Citations	1059	432
h-index	14	10
i10-index	16	11

120

2006200720082009201020112012201320142015201620172018201920202021202220237 24 36 47 71 60 67 45 64 54 67 77 92 87 106 67 75 5

Public access

View all

1 article

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
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Ohad KammarUniversity of Edinburgh School of InformaticsVerified email at ed.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
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Ted BriscoeProfessor of Computational Linguistics, University of CambridgeVerified email at cl.cam.ac.uk
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
Allais GuillaumePostdoc, University of St AndrewsVerified email at st-andrews.ac.uk
Hai LiuIntel LabsVerified email at intel.com
Andrej BauerUniversity of LjubljanaVerified email at andrej.com
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Ningning XieGoogle / University of TorontoVerified email at google.com
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

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	464	2007
Effective Concurrency through Algebraic Effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Users and Developers Workshop, 2015	75	2015
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	75	2011
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	60	2009
The arrow calculus S Lindley, P Wadler, J Yallop Journal of Functional Programming 20 (1), 51-69, 2010	50	2010
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015	49	2015
The essence of form abstraction E Cooper, S Lindley, P Wadler, J Yallop Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008	44	2008
Staged Generic Programming J Yallop Proceedings of the ACM on Programming Languages 1 (ICFP), 2017	29	2017
Practical generic programming in OCaml J Yallop Proceedings of the 2007 workshop on Workshop on ML, 83-94, 2007	26	2007
An idiom’s guide to formlets E Cooper, S Lindley, P Wadler, J Yallop Technical Report EDI-INF-RR-1263, University of Edinburgh, 2008	25	2008
A typed, algebraic approach to parsing NR Krishnaswami, J Yallop Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	19	2019
Lightweight higher-kinded polymorphism J Yallop, L White Functional and Logic Programming: 12th International Symposium, FLOPS 2014 …, 2014	17	2014
Modular macros J Yallop, L White OCaml Users and Developers Workshop, 2015	16*	2015
Partially static data as free extension of algebras J Yallop, T von Glehn, O Kammar PACMPL 2 (ICFP), 100:1-100:30, 2018	14	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
Declarative foreign function binding through generic programming J Yallop, D Sheets, A Madhavapeddy Functional and Logic Programming, 2016	7	2016

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