Herb Peyerl <hpeyerl@beer.org> writes:

> publicize what their products were based on.  Not for reasons of 'distrust'
> so much as "it's no ones business what the inside of our product looks 
> like".

What did these people contribute back to the project?

-- 
Stefan Kahrs in [Kah96] discusses the
   notion of completeness--programs which never go wrong can be
   type-checked--which complements Milner's notion of
   soundness--type-checked programs never go wrong [Mil78].