Maximilian Algehed
发表
Alejandro Russo,
Maximilian Algehed,
Alejandro Russo,
2017,
PLAS@CCS.
Cormac Flanagan,
Maximilian Algehed,
C. Flanagan,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2017,
Haskell.
Maximilian Algehed,
Maximilian Algehed,
2019
.
Jean-Philippe Bernardy,
Maximilian Algehed,
Jean-Philippe Bernardy,
2019,
Proc. ACM Program. Lang..
Maximilian Algehed,
Maximilian Algehed,
2018,
PLAS@CCS.
Alejandro Russo,
Cormac Flanagan,
Maximilian Algehed,
2019,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Patrik Jansson,
Alex Gerdes,
Maximilian Algehed,
2018,
TFP.
Alejandro Russo,
Thomas Schmitz,
Cormac Flanagan,
2018,
CCS.
Maximilian Algehed,
Mazdak Farrokhzad,
Joel Hultin,
2017
.
Maximilian Algehed,
Maximilian Algehed,
2017
.
Patrik Jansson,
Maximilian Algehed,
2017,
FHPC@ICFP.
Koen Claessen,
Nicholas Smallbone,
Moa Johansson,
2017,
Journal of Functional Programming.
Catalin Hritcu,
Jean-Philippe Bernardy,
Maximilian Algehed,
2020,
ArXiv.
Cormac Flanagan,
Maximilian Algehed,
C. Flanagan,
2021,
ArXiv.
Catalin Hritcu,
Jean-Philippe Bernardy,
Maximilian Algehed,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).