Moody, Jonathan
Edit Page
Report
Scan day: 15 February 2014 UTC
17
Virus safety - good
Description: SCS CSD graduate assistant. Academics, CV and contact.
Developing a typed calculus for distributed computation based on constructive S4 modal logic with necessity []A and possibility A. Logical necessity corresponds to mobility and possibility to (remote) locality. I am working out the consequences of this approach, including the implications for design of marshalling mechanisms, and the interaction of [] and type constructors with polymorphism and abstract types.
Size: 413 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Jonathan W. Moody |
| Keywords: | |
| Description: | |
| IP-address: | 128.2.217.13 |
WHOIS Info
| NS | Name Servers: NSAUTH1.NET.CMU.EDU 128.2.1.8 NSAUTH2.NET.CMU.EDU 128.237.148.168 |
| WHOIS | |
| Date | activated: 24-Apr-1985 last updated: 16-Sep-2010 expires: 31-Jul-2014 |