Information Flow Control via Dependency Tracking
by Benedikt Nordhoff
Benedikt Nordhoff
2021
2012
Dijkstra's Shortest Path Algorithm
by Benedikt Nordhoff and Peter Lammich
2010
Finger Trees
by Benedikt Nordhoff, Stefan Körner and Peter Lammich
Information Flow Control via Dependency Tracking
by Benedikt Nordhoff
Dijkstra's Shortest Path Algorithm
by Benedikt Nordhoff and Peter Lammich
Finger Trees
by Benedikt Nordhoff, Stefan Körner and Peter Lammich