Följ
Daniel Hillerström
Daniel Hillerström
Senior researcher, Huawei Zurich Research Center
Verifierad e-postadress på ed.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Liberating Effects with Rows and Handlers
D Hillerström, S Lindley
Proceedings of the 1st International Workshop on Type-Driven Development …, 2016
962016
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
712017
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
552017
Shallow effect handlers
D Hillerström, S Lindley
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
522018
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
362020
Effect handlers via generalised continuations
D Hillerström, S Lindley, R Atkey
Journal of Functional Programming 30, e5, 2020
352020
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
112016
Handlers for Algebraic Effects in Links
D Hillerström
School of Informatics, the University of Edinburgh, 2015
102015
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
82016
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
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
32023
Soundly Handling Linearity
W Tang, D Hillerström, S Lindley, JG Morris
arXiv preprint arXiv:2307.09383, 2023
2023
Structural Subtyping as Parametric Polymorphism
W Tang, D Hillerström, J McKinna, M Steuwer, O Dardha, R Fu, S Lindley
arXiv preprint arXiv:2304.08267, 2023
2023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18