Paragon for Practical Programming with Information-Flow Control (2013) : Niklas Broberg and Bart van Delft and David Sands DOI: https://t.co/p0zqNVnYzy #information_flow #programming #static_enforcement #my_bibtex
152 followers
5,738 followers
RT @stacked_automat: Paragon for Practical Programming with Information-Flow Control (2013) : Niklas Broberg and Bart van Delft and David S…
152 followers
Paragon for Practical Programming with Information-Flow Control (2013) : Niklas Broberg and Bart van Delft and David Sands DOI: https://t.co/p0zqNVnYzy #information_flow #programming #static_enforcement #my_bibtex
5,429 followers