Hacker News new | ask | show | jobs
Liquid Types vs. Floyd-Hoare Logic (ucsd-progsys.github.io)
1 points by antisemiotic 2431 days ago