"Linear Logic Programming" by Chris Martens (2013)
Security researchers examine technical aspects of "Linear Logic Programming" by Chris Martens (2013).
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·40 min
Security researchers examine technical aspects of "Puzzles, Problems, and Programs" by Chris Martens.
puzzleproblemchri+2
Strange Loop Conference·36 min
Presenters detail vulnerability discovery and exploitation in "Birdsong as code" by Chris Ford (Strange Loop 2023).
birdsongcodechri+3
Strange Loop Conference·38 min
Security researchers examine technical aspects of "Functional Composition" by Chris Ford (2013).
compositionchriford+1