Daniel Hillerström

According to our database, Daniel Hillerström authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Soundly Handling Linearity.

Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris

Proc. ACM Program. Lang., January, 2024

2023

Structural Subtyping as Parametric Polymorphism.

Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley

Proc. ACM Program. Lang., October, 2023

Continuing WebAssembly with Effect Handlers.

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley

Proc. ACM Program. Lang., October, 2023

2020

Effect handlers, evidently.

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen

Proc. ACM Program. Lang., 2020

Effects for efficiency: asymptotic speedup with first-class control.

Daniel Hillerström, Sam Lindley, John Longley

Proc. ACM Program. Lang., 2020

Effect handlers via generalised continuations.

Daniel Hillerström, Sam Lindley, Robert Atkey

J. Funct. Program., 2020

2018

Shallow Effect Handlers.

Daniel Hillerström, Sam Lindley

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Concurrent System Programming with Effect Handlers.

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Continuation Passing Style for Effect Handlers.

Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

Liberating effects with rows and handlers.

Daniel Hillerström, Sam Lindley

Proceedings of the 1st International Workshop on Type-Driven Development, 2016