Följ
Daniel Hillerström
Daniel Hillerström
Researcher, The University of Edinburgh
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
812016
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
612017
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
492017
Shallow effect handlers
D Hillerström, S Lindley
Asian Symposium on Programming Languages and Systems, 415-435, 2018
352018
Effect handlers via generalised continuations
D Hillerström, S Lindley, R Atkey
Journal of Functional Programming 30, 2020
242020
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
222020
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
Handlers for Algebraic Effects in Links
D Hillerström
School of Informatics, the University of Edinburgh, 2015
92015
Compilation of Effect Handlers and their Applications in Concurrency
D Hillerström
School of Informatics, the University of Edinburgh, 2016
82016
Aug. 2020. Effect Handlers, Evidently
N Xie, J Brachthäuser, P Schuster, D Hillerström, D Leijen
Proceedings of the 25th ACM SIGPLAN International Conference on Functional …, 0
5
Effects for efficiency: Asymptotic speedup with first-class control
D Hillerström, S Lindley, J Longley
arXiv preprint arXiv:2007.00605, 2020
32020
Foundations for programming and implementing effect handlers
D Hillerström
The University of Edinburgh, 2022
22022
WasmFX: Typed Continuations in Wasm
D Hillerström, S Lindley, A Rossberg, KC Sivaramakrishnan, D Leijen, ...
2021
“All About That Stack: A Unified Treatment of Regions and Control Effects”.
P Schuster, JI Brachthäuser, K Ostermann, N Xie, D Hillerström, D Leijen, ...
Composing UNIX with Effect Handlers
D Hillerström
Effects for Efficiency
D HILLERSTRÖM, SAM LINDLEY, J LONGLEY
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–19