Jeremy Yallop

Cited by

	All	Since 2017
Citations	1001	459
h-index	13	11
i10-index	15	12

100

200620072008200920102011201220132014201520162017201820192020202120226 27 39 46 74 57 63 48 63 49 64 80 91 87 99 66 35

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 MadhavapeddyAssociate Professor, University of CambridgeVerified email at cl.cam.ac.uk
KC SivaramakrishnanAssistant Professor, 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
Alban ReynaudENS de LyonVerified email at ens-lyon.fr
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
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
Hai LiuIntel LabsVerified email at intel.com
Andrej BauerUniversity of LjubljanaVerified email at andrej.com
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
Meng WangSenior Lecturer in Computer Science, University of BristolVerified email at bristol.ac.uk
Ningning XieUniversity of CambridgeVerified email at cam.ac.uk
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Nicolas WuSenior Lecturer 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 International Symposium on Formal Methods for Components and Objects, 266-296, 2006	442	2006
Effective Concurrency through Algebraic Effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Users and Developers Workshop, 2015	74	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	70	2011
Unembedding domain-specific languages R Atkey, S Lindley, J Yallop Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009	58	2009
The arrow calculus S Lindley, P Wadler, J Yallop Journal of Functional Programming 20 (1), 51-69, 2010	49	2010
Modular implicits L White, F Bour, J Yallop arXiv preprint arXiv:1512.01895, 2015	44	2015
The essence of form abstraction E Cooper, S Lindley, P Wadler, J Yallop Asian Symposium on Programming Languages and Systems, 205-220, 2008	44	2008
Staged Generic Programming J Yallop Proceedings of the ACM on Programming Languages 1 (ICFP), 2017	28	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	25	2008
Practical generic programming in OCaml J Yallop Proceedings of the 2007 workshop on Workshop on ML, 83-94, 2007	24	2007
Modular macros J Yallop, L White OCaml Users and Developers Workshop, 2015	16*	2015
A typed, algebraic approach to parsing NR Krishnaswami, J Yallop Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	15	2019
Lightweight higher-kinded polymorphism J Yallop, L White International Symposium on Functional and Logic Programming, 119-135, 2014	15	2014
Partially static data as free extension of algebras J Yallop, T von Glehn, O Kammar PACMPL 2 (ICFP), 100:1-100:30, 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
A modular foreign function interface J Yallop, D Sheets, A Madhavapeddy Science of Computer Programming 164, 82-97, 2018	7	2018
First-class modules: hidden power and tantalizing promises J Yallop, O Kiselyov ACM SIGPLAN Workshop on ML, 2010	7	2010
Abstraction for web programming J Yallop The University of Edinburgh, 2010	7	2010
Generating mutually recursive definitions J Yallop, O Kiselyov Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019	6	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 this author

Cited by

Co-authors