Stem duck$ (all stems)
2 papers:
- POPL-2012-ChughRJ #logic #type system
- Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.
- OOPSLA-2010-QuillienW #agile
- Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile (JQ, DW), pp. 901–917.