[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The Accessibility of Type Theory Research

To: address@hidden, Ken Shan <address@hidden>
Subject: Re: The Accessibility of Type Theory Research
From: "Peter J. Wasilko" <address@hidden>
Date: Wed, 19 Nov 2003 23:06:48 -0500
In-reply-to: <r02000200-1028-7C0C085A1B0C11D8BB50003065B28AFA@[168.100.204.225]>
Sender: address@hidden

> I think I'm feel myself being drawn into Shriram's fourth category.

Ooops, make that 'feeling'.

References:
- The Accessibility of Type Theory Research
  - From: "Peter J. Wasilko" <futurist@cloud9.net>

Prev by Date: Re: dynamic vs. static typing
Next by Date: Re: dynamic vs. static typing
Previous by thread: The Accessibility of Type Theory Research
Next by thread: The Accessibility of Type Theory Research
Index(es):
- Date
- Thread