Admin

OO Programming Styles in ML

OO Programming Styles in ML, Bernard Berthomieu.

It is shown that the essential OO concepts and idioms, including inheritance and dynamic dispatch, can be encoded in this well understood framework, without requiring any operational or typing extensions of ML...

[The encodings] do not rely on subtyping and subsumption, but on an encoding of inheritance polymorphism into paramteric polymorphism.

This isn't new (it is dated March 2000), but seems interesting.

The ML module language put to good use!

Thanks Henry!

Edublog Awards

Do you think LtU deserves to get an Edublog Award (recall I started LtU when designing an EOPL course and that quite a few around here are graduate students)?

If you do, click over and nominate us!

Quick update

Due to family health problems I am away from my computer most of time, and not reading PL papers.

I'd appreciate it if the other editors take up the slack...

Where is everyone?

Editors, are you all still tired because of the election?

I'm feeling lonely around here.

Busy, busy

We are on holiday (it's the Jewish new year), and on top of that there are some problems at work, that may mean looking for a new job soon.

Hence my lack of posts.

I am sure others will fill in.

Use real names

For some reason many new LtU members choose not reveal their real names. This makes the site less friendly in my opinion, and perhaps even discourages discussion.

I urge people to use their real names, unless they think there's good reason not to, in which case do what you think is best.

Thanks.

What's up guys?

LtU is becoming boring. Editors are urged to post ineteresting stuff. I can't do it alone.

More specifically. it has beeen awhile since we had any new items in the OOP, LP, and meta-programming departments.

Vacation

I'll be away from my computer until Wednesday. Editors are urged to keep the good bits flowing.

More content

I know the type system discussion is taking its toll, but I am sure things would be more interesting around here if we had more news items.

So all you editors out there: How about sharing?

New feature

If you look carefully you'll see that items on the home page now have an "other blogs" link along with the comment link, department link etc.

The "other blogs" link invokes a Technorati search which hopefully shows all blogs referencing the LtU item (if there are any).

Thanks, Anton!

XML feed