Adriana Compagnoni | 2 Nov 23:44 2009

Fwd: Sad news: Amir Pnueli dies

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Sad news.

---------- Forwarded message ----------
From: Mike Gordon <Mike.Gordon@...>
Date: Mon, Nov 2, 2009 at 6:28 PM
Subject: Sad news: Amir Pnueli dies
To: HVG <hvg@...>, theory@...

This is indeed sad. -- Mike

---------- Forwarded message ----------
From: Edmund Clarke <emc@...>
Date: Mon, Nov 2, 2009 at 10:14 PM
Subject: Fwd: Amir
To: Bob Kurshan <rkurshan@...>,
"mike.gordon@... Gordon" <
Mike.Gordon@...>

Very sad news.   ---Ed

Begin forwarded message:

*From: *David Harel <dharel@...>
*Date: *November 2, 2009 2:52:52 PM EST
*To: *David Harel <dharel@...>
*Subject: **Amir*


(Continue reading)

Sukyoung Ryu | 5 Nov 22:02 2009
Picon

Announcing a Fortress blog

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

The Fortress team has started a blog, to post a series of  
announcements and news items about Fortress.  Our goal is to let  
people know about ongoing technical discussions and decisions, as well  
as the current status of the implementation.  We will also post  
interesting examples of Fortress code.  We hope to put up new posts at  
least weekly.

So far we have four posts.  The first and fourth posts discuss the new  
wiki markup for tables and images for use in Fortress comments; the  
second post discusses some changes to the typing rules for conditional  
expressions that will help them to interact better with coercion; the  
third post reports on an implementation of the "treap" data structure  
in Fortress.  We also plan to report soon on the status of our efforts  
to construct a Fortress compiler.  Please visit

http://projectfortress.sun.com/Projects/Community/blog

or click on the "Blog" item at the right-hand end of the menu bar on  
the main Wiki page.

Best,
--
Sukyoung Ryu
Programming Language Research Group,
Sun Microsystems Laboratories


Gmane