Seguir
Daniel Hillerström
Daniel Hillerström
Senior researcher, Huawei Zurich Research Center
Dirección de correo verificada de ed.ac.uk - Página principal
Título
Citado por
Citado por
Año
Liberating Effects with Rows and Handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development …, 2016
992016
Concurrent System Programming with Effect Handlers
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
Proceedings of the Symposium on Trends in Functional Programming, TFP, 2017
702017
Continuation Passing Style for Effect Handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Proceedings of 2nd International Conference on Formal Structures for …, 2017
592017
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
572018
Effect handlers, evidently
N Xie, JI Brachthäuser, D Hillerström, P Schuster, D Leijen
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
382020
Effect handlers via generalised continuations
D Hillerström, S Lindley, R Atkey
Journal of Functional Programming 30, e5, 2020
322020
Foundations for programming and implementing effect handlers
D Hillerström
The University of Edinburgh, 2022
122022
Compiling Links effect handlers to the OCaml backend
D Hillerström, S Lindley, K Sivaramakrishnan
ML Workshop 116, 2016
102016
Effectively Tackling the Awkward Squad
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
ML Workshop, 2017
92017
Compilation of Effect Handlers and their Applications in Concurrency
D Hillerström
School of Informatics, the University of Edinburgh, 2016
92016
Handlers for Algebraic Effects in Links
D Hillerström
School of Informatics, the University of Edinburgh, 2015
92015
Continuing WebAssembly with Effect Handlers
L Phipps-Costin, A Rossberg, A Guha, D Leijen, D Hillerström, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 460-485, 2023
62023
Effects for efficiency: Asymptotic speedup with first-class control
D Hillerström, S Lindley, J Longley
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
52020
Soundly Handling Linearity
W Tang, D Hillerström, S Lindley, JG Morris
Proceedings of the ACM on Programming Languages 8 (POPL), 1600-1628, 2024
22024
Structural Subtyping as Parametric Polymorphism
W Tang, D Hillerström, J McKinna, M Steuwer, O Dardha, R Fu, S Lindley
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1093-1121, 2023
12023
Composing UNIX with Effect Handlers
D Hillerström
Broken Links (Presentation)
F Emrich, D Hillerström
Handlers. Js (Presentation)
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan, J Yallop
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18