PLMW@POPL 2024
7 videos • 130 views • by ACM SIGPLAN
PLMW @ POPL 2024
1
[PLMW@POPL'24] Opening
ACM SIGPLAN
Download
2
[PLMW@POPL'24] The Evolution of Effects
ACM SIGPLAN
Download
3
[PLMW@POPL'24] Refinement Types from Light to Deep Verification
ACM SIGPLAN
Download
4
[PLMW@POPL'24] The Potential of Information-Flow Control Research for helping GDPR Complia...
ACM SIGPLAN
Download
5
[PLMW@POPL'24] Consider Collaboration
ACM SIGPLAN
Download
6
[PLMW@POPL'24] How to Give a Talk
ACM SIGPLAN
Download
7
[PLMW@POPL'24] Managing undergraduate research, as mentor and mentee
ACM SIGPLAN
Download