34 followers
RT @hgoldstein95: @tweagio This is really neat! It reminds me of what John Hughes calls "model-based" properties in How to Specify It! http…
482 followers
@tweagio This is really neat! It reminds me of what John Hughes calls "model-based" properties in How to Specify It! https://t.co/UjSSRAKKo0
12,966 followers
@sargun @copyconstruct If you’re ever looking for a paper to present in systems reading, here’s one for you: https://t.co/6bqBkDYwKD
676 followers
a very useful paper by @rjmh: How to Specify It!: A Guide to Writing Properties of Pure Functions https://t.co/iGufu5q4Bo