pre>

<p>
The advantages are similar to those of a <code>let</code>-expression over a 
procedure call with a <code>lambda</code>-expression as its operator.  In
both cases, cleanly separating a ``header'' in which the bindings are
established from a ``body'' in which they are used makes it easier to
follow the code.
</p>

<H1>Specification</H1>
<a name="receive"></a>
<p>
<code>(receive</code> &lt;formals&gt; &lt;expression&gt;
&lt;body&gt;<code>)</code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;library&nbsp;syntax 
</p>