interview with Robin Milner

• To: moca@sophia.inria.fr, types@cis.upenn.edu
• Subject: interview with Robin Milner
• From: Martin Berger <martinb@dcs.qmul.ac.uk>
• Date: Wed, 26 Nov 2003 13:39:20 +0000
• List-Archive: <http://lists.seas.upenn.edu/pipermail/types-list>
• List-Help: <mailto:types-list-request@lists.seas.upenn.edu?subject=help>
• List-Id: TYPES forum <types-list.lists.seas.upenn.edu>
• List-Post: <mailto:types-list@lists.seas.upenn.edu>
• List-Subscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=subscribe>
• List-Unsubscribe: <http://lists.seas.upenn.edu/mailman/listinfo/types-list>, <mailto:types-list-request@lists.seas.upenn.edu?subject=unsubscribe>
• Sender: types-list-bounces+bcpierce=cis.upenn.edu@lists.seas.upenn.edu
• User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031009

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

a couple of weeks ago i interviewed Robin Milner. the transscript
can be found here:

     http://nick.dcs.qmul.ac.uk/~martinb/interviews/milner/

i hope you'll enjoy reading it!

martin

• Prev: thanks, and generating simply-typed terms
• Next: PLAN-X 2004 Call for Participation
• Index(es):
  • Main
  • Thread