Theory of Types, ALGOL-like Languages and Concurrent        Processes
{'Code': '05010100', 'Directorate': {'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis'}
The theoretical connections between operational and denotational                semantics, and between semantics and logical theories, are being                developed as a guide to programming languages design and correctness.           Principal topics include: generalized type structures, especially               polymorphism, in programming languages; semantics and formal                    correctness theory of ALGOL-like and object- oriented programming               languages, and semantics of concurrent processes based on observational         congruence.
{'FirstName': 'Albert', 'LastName': 'Meyer', 'EmailAddress': 'Meyer@theory.LCS.MIT.EDU', 'StartDate': '02/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Massachusetts Institute of Technology', 'CityName': 'Cambridge', 'ZipCode': '021394301', 'PhoneNumber': '6172531000', 'StreetAddress': '77 MASSACHUSETTS AVE', 'CountryName': 'United States', 'StateName': 'Massachusetts', 'StateCode': 'MA'}
[{'Code': '2860', 'Text': 'THEORY OF COMPUTING'}, {'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8819761.xml'}