2Synquid – program synthesis with refinement types (opens in new tab)(comcom.csail.mit.edu)2relevate10y ago0
4Should Apple Give a “Special Dividend”? (opens in new tab)(washingtonkid.wordpress.com)1relevate13y ago0