Maximilian Algehed

Doctoral Student at Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Showing 7 publications


Saint: an API-generic type-safe interpreter

Maximilian Algehed, Patrik Jansson, Sólrún Einarsdóttir et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11457 LNCS, p. 94-113
Paper in proceedings

A perspective on the dependency core calculus

Maximilian Algehed
Proceedings of the ACM Conference on Computer and Communications Security, p. 24-28
Paper in proceedings

Faceted secure multi execution

Thomas Schmitz, Cormac Flanagan, Maximilian Algehed et al
Proceedings of the ACM Conference on Computer and Communications Security, p. 1617-1634
Paper in proceedings

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Journal article

Encoding DCC in Haskell

Maximilian Algehed, Alejandro Russo
Paper in proceedings

QuickSpec: A Lightweight Theory Exploration Tool for Programmers

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Paper in proceedings

VisPar: Visualising dataflow graphs from the Par monad

Maximilian Algehed, Patrik Jansson
6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC 2017, Oxford, United Kingdom, 7 September 2017, p. 24-29
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

Showing 1 research projects


Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)

Patrik Jansson Software Technology (Chalmers)
Maximilian Algehed Functional Programming
Irene Lobo Valbuena Software Technology (Chalmers)
Sólrún Einarsdóttir Functional Programming
Alex Gerdes Functional Programming
European Commission (Horizon 2020)

There might be more projects where Maximilian Algehed participates, but you have to be logged in as a Chalmers employee to see them.