Folgen
Jeremy Yallop
Jeremy Yallop
University of Cambridge
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4962006
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
692009
Modular implicits
L White, F Bour, J Yallop
arXiv preprint arXiv:1512.01895, 2015
592015
The arrow calculus
S Lindley, P Wadler, J Yallop
Journal of Functional Programming 20 (1), 51-69, 2010
582010
The essence of form abstraction
E Cooper, S Lindley, P Wadler, J Yallop
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
472008
Staged Generic Programming
J Yallop
Proceedings of the ACM on Programming Languages 1 (ICFP), 2017
412017
A typed, algebraic approach to parsing
NR Krishnaswami, J Yallop
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
282019
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
21*2015
A modular foreign function interface
J Yallop, D Sheets, A Madhavapeddy
Science of Computer Programming 164, 82-97, 2018
192018
Lightweight higher-kinded polymorphism
J Yallop, L White
International Symposium on Functional and Logic Programming, 119-135, 2014
192014
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
172022
Partially static data as free extension of algebras
J Yallop, T von Glehn, O Kammar
PACMPL 2 (ICFP), 100:1-100:30, 2018
172018
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
112019
MacoCaml: Staging Composable and Compilable Macros
N Xie, L White, O Nicole, J Yallop
Proceedings of the ACM on Programming Languages 7 (ICFP), 2023
102023
Abstraction for web programming
J Yallop
The University of Edinburgh, 2010
102010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20