Concepedia

Daniel Hillerström

DH

4

Publications

139

Citations

4

H-Index

2016

Active since

Affiliations

University of Edinburgh(Current)

Microsoft (United States)

Daniel Hillerström is an author at University of Edinburgh specializing in program analysis, formal methods, and software analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer EngineeringCompilersSoftware Engineering

Publications per year

2016–2023

4

Publications

4

Liberating effects with rows and handlers

Daniel Hillerström, Sam Lindley · 2016 · 65 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +14

Effect handlers via generalised continuations

Daniel Hillerström, Sam Lindley, Robert Atkey · Journal of Functional Programming · 2020 · 28 citations · Full text

Engineering, Computer Architecture, Functional Analysis +22

Effect handlers, evidently

Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström et al. · Proceedings of the ACM on Programming Languages · 2020 · 28 citations · Full text

Engineering, Verification, Visual Effect +20

Continuing WebAssembly with Effect Handlers

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha et al. · Proceedings of the ACM on Programming Languages · 2023 · 18 citations · Full text

Engineering, Compiler Technology, Computer Architecture +21

Rows per page

1–4 of 4