Feb. 11th, 2006

aruslan: (Default)
Matthias Felleisen wrote a paper exactly on that subject:
"On the Expressive Power of Programming Languages"
[ http://www.cs.rice.edu/CS/PLT/Publications/ ] He came up
with an interesting, formal definition that lets you tell
when one language is strictly more expressive than the other.
He _proved_ for example that a call-by-value lambda-calculus
is strictly less expressive than call-by-name lambda-calculus
(if I remember correctly).

http://okmij.org/ftp/Scheme/oop-in-fp.txt
aruslan: (Default)
Как рыба на песчаном берегу
Я задыхался после поцелуя
Проклятый насморк!
-- А.Козлов

Profile

aruslan: (Default)
aruslan

January 2014

S M T W T F S
   1234
56789 1011
12131415161718
19202122232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 17th, 2025 03:33
Powered by Dreamwidth Studios