Seguir
Jeremy Yallop
Jeremy Yallop
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
4912006
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
802011
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
672009
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
152018
A modular foreign function interface
J Yallop, D Sheets, A Madhavapeddy
Science of Computer Programming 164, 82-97, 2018
132018
Staging generic programming
J Yallop
Partial Evaluation and Program Manipulation, 2016
122016
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
112022
Abstraction for web programming
J Yallop
The University of Edinburgh, 2010
92010
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
Generating mutually recursive definitions
J Yallop, O Kiselyov
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and …, 2019
82019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20