Static typing

[Joe Marshall]

"Marshall Spight" <mspight at dnai.com> writes:

> "Pascal Costanza" <costanza at web.de> wrote in message news:bnbds3$uui$1 at f1node01.rhrz.uni-bonn.de...
>>
>> Expressive power is not Turing equivalence.
>
> Agreed.
>
> So, does anyone have a formal definition of "expressive power?"
> Metrics? Examples? Theoretical foundations?

http://citeseer.nj.nec.com/felleisen90expressive.html

It's a start.