Volgen
Daniel Hillerström
Daniel Hillerström
Senior researcher, Huawei Zurich Research Center
Geverifieerd e-mailadres voor ed.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Liberating Effects with Rows and Handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development …, 2016
1062016
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
762017
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
672018
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
632017
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
422020
Effect handlers via generalised continuations
D Hillerström, S Lindley, R Atkey
Journal of Functional Programming 30, e5, 2020
362020
Foundations for programming and implementing effect handlers
D Hillerström
The University of Edinburgh, 2022
172022
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
152023
Compiling Links effect handlers to the OCaml backend
D Hillerström, S Lindley, K Sivaramakrishnan
ML Workshop 116, 2016
112016
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
Soundly Handling Linearity
W Tang, D Hillerström, S Lindley, JG Morris
Proceedings of the ACM on Programming Languages 8 (POPL), 1600-1628, 2024
62024
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
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
22023
Modal Effect Types
W Tang, L White, S Dolan, D Hillerström, S Lindley, A Lorenzen
arXiv preprint arXiv:2407.11816, 2024
2024
Effect Handlers All the Way Down
D Hillerström
2024
Asymptotic speedup via effect handlers
D Hillerström, S Lindley, J Longley
Journal of Functional Programming 34, e5, 2024
2024
Composing UNIX with Effect Handlers
D Hillerström
Broken Links (Presentation)
F Emrich, D Hillerström
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20