Research in Programming Language Structures:                Types and Concurrency
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis', 'PO_EMAI': None, 'PO_PHON': None}
Research will be done in the control and data structures of programming         languages, with emphasis on concurrent control and higher-type data.            The work on concurrency will study algebras of concurreny models, with          partially ordered multisets providing concrete models and closed                categories providing abstract models, while the work on type theory             will focus on lambda calculus, polymorphism, and abstract data types.           At the boundary of these areas a joint study will be made of proposed           unifications of type theory with concurrency theory.
[{'FirstName': 'Vaughan', 'LastName': 'Pratt', 'PI_MID_INIT': 'R', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Vaughan R Pratt', 'EmailAddress': 'pratt@cs.stanford.edu', 'NSF_ID': '000454198', 'StartDate': '07/15/1989', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'John', 'LastName': 'Mitchell', 'PI_MID_INIT': 'C', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'John C Mitchell', 'EmailAddress': 'mitchell@cs.stanford.edu', 'NSF_ID': '000338024', 'StartDate': '07/15/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}]
{'Name': 'Stanford University', 'CityName': 'STANFORD', 'ZipCode': '943052004', 'PhoneNumber': '6507232300', 'StreetAddress': '450 JANE STANFORD WAY', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '16', 'CONGRESS_DISTRICT_ORG': 'CA16', 'ORG_UEI_NUM': 'HJD6G4D6TJY5', 'ORG_LGL_BUS_NAME': 'THE LELAND STANFORD JUNIOR UNIVERSITY', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8814921.xml'}