We stand with Ukraine  

Daniel Hillerström

Orcid: 0000-0003-4730-9315

Affiliations:
  • Huawei Technologies, Zurich, Switzerland
  • University of Edinburgh, UK


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Soundly Handling Linearity.
[BibTeX]
[DOI]
Wenhao Tang
,
Daniel Hillerström
,
Sam Lindley
,
J. Garrett Morris
Proc. ACM Program. Lang., January, 2024

Asymptotic speedup via effect handlers.
[BibTeX]
[DOI]
Daniel Hillerström
,
Sam Lindley
,
John Longley
J. Funct. Program., 2024

Modal Effect Types.
[BibTeX]
[DOI]
Wenhao Tang
,
Leo White
,
Stephen Dolan
,
Daniel Hillerström
,
Sam Lindley
,
Anton Lorenzen
CoRR, 2024

2023
Structural Subtyping as Parametric Polymorphism.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Daniel Hillerström
,
Sam Lindley
,
John Longley
Proc. ACM Program. Lang., 2020

Effect handlers via generalised continuations.
[BibTeX]
[DOI]
Daniel Hillerström
,
Sam Lindley
,
Robert Atkey
J. Funct. Program., 2020

2018
Shallow Effect Handlers.
[BibTeX]
[DOI]
Daniel Hillerström
,
Sam Lindley
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Concurrent System Programming with Effect Handlers.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Daniel Hillerström
,
Sam Lindley
Proceedings of the 1st International Workshop on Type-Driven Development, 2016


  Loading...