Jeremy Yallop
Jeremy Yallop
University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
-
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
4122006
Effective Concurrency through Algebraic Effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Users and Developers Workshop, 2015
632015
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
602011
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
542009
The arrow calculus
S Lindley, P Wadler, J Yallop
Cambridge University Press, 2010
492010
The essence of form abstraction
E Cooper, S Lindley, P Wadler, J Yallop
Asian Symposium on Programming Languages and Systems, 205-220, 2008
442008
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
352015
An idiom’s guide to formlets
E Cooper, S Lindley, P Wadler, J Yallop
Technical Report EDI-INF-RR-1263, University of Edinburgh, 2008
252008
Practical generic programming in OCaml
J Yallop
Proceedings of the 2007 workshop on Workshop on ML, 83-94, 2007
232007
Staged Generic Programming
J Yallop
Proceedings of the ACM on Programming Languages 1 (ICFP), 2017
172017
Modular macros
J Yallop, L White
OCaml Users and Developers Workshop, 2015
14*2015
Lightweight higher-kinded polymorphism
J Yallop, L White
International Symposium on Functional and Logic Programming, 119-135, 2014
122014
Staging generic programming
J Yallop
Partial Evaluation and Program Manipulation, 2016
92016
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
92005
A typed, algebraic approach to parsing
NR Krishnaswami, J Yallop
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
82019
First-class modules: hidden power and tantalizing promises
J Yallop, O Kiselyov
ACM SIGPLAN Workshop on ML, 2010
72010
Causal commutative arrows revisited
J Yallop, H Liu
Haskell Symposium, 2016
62016
Abstraction for web programming
J Yallop
The University of Edinburgh, 2010
62010
A modular foreign function interface
J Yallop, D Sheets, A Madhavapeddy
Science of Computer Programming 164, 82-97, 2018
52018
Declarative foreign function binding through generic programming
J Yallop, D Sheets, A Madhavapeddy
Functional and Logic Programming, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20