Seguir
Jeremy Yallop
Jeremy Yallop
University of Cambridge
Dirección de correo verificada de cl.cam.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
4872006
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
792011
Effective Concurrency through Algebraic Effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Users and Developers Workshop, 2015
762015
Unembedding domain-specific languages
R Atkey, S Lindley, J Yallop
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 37-48, 2009
682009
The arrow calculus
S Lindley, P Wadler, J Yallop
Journal of Functional Programming 20 (1), 51-69, 2010
572010
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
542015
The essence of form abstraction
E Cooper, S Lindley, P Wadler, J Yallop
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
462008
Staged Generic Programming
J Yallop
Proceedings of the ACM on Programming Languages 1 (ICFP), 2017
372017
A typed, algebraic approach to parsing
NR Krishnaswami, J Yallop
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
272019
Practical generic programming in OCaml
J Yallop
Proceedings of the 2007 workshop on Workshop on ML, 83-94, 2007
272007
An idiom’s guide to formlets
E Cooper, S Lindley, P Wadler, J Yallop
262007
Modular macros
J Yallop, L White
OCaml Users and Developers Workshop, 2015
20*2015
Lightweight higher-kinded polymorphism
J Yallop, L White
International Symposium on Functional and Logic Programming, 119-135, 2014
182014
Partially static data as free extension of algebras
J Yallop, T von Glehn, O Kammar
PACMPL 2 (ICFP), 100:1-100:30, 2018
162018
A modular foreign function interface
J Yallop, D Sheets, A Madhavapeddy
Science of Computer Programming 164, 82-97, 2018
142018
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
122022
Staging generic programming
J Yallop
Partial Evaluation and Program Manipulation, 2016
122016
Generating mutually recursive definitions
J Yallop, O Kiselyov
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019
102019
Abstraction for web programming
J Yallop
The University of Edinburgh, 2010
102010
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20