Applications of Category Theory to Computer Science
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available'}
Develop and extend the concepts of sketch and categorical theory as a           tool for the specification and precise description of data types and            the syntax and semantics of computer languages.  The sketch gives a             formal finite specification of a data type or language construct, or of         a whole language.  Categorical semantics includes:  initial algebra             semantics, greatly generalizing the work of Goguen; the categorical             theory generated by the sketch, which encapsulates the whole language           implied by a sketched specification; and models in the categorical              sense as functors.  Specific tasks will include: (a) Using FS sketches          with multiple initial algebras as models for data types with overflow.          (b) Using sketches to specify a functional programming language, which          will involve understanding (c) the correct place in the hierarchy of            types of sketches and theories for such descriptions, and (d)                   the correct abstract semantics and its connection with computable               semantics. (e) Understand how the recursive definition of data types            can be sketched. (f) Understand the way functions as first class                objects and the resulting cartesian                                             closed category interacts with the use of sketched specifications and           with the semantics. (g) Formulate the correct definition of                     "environment" in this context. (h) Analyze an existing functional               programming language using these techniques. (i) Develop a prototype            implementation of a categorical computer language.
{'FirstName': 'Charles', 'LastName': 'Wells', 'EmailAddress': 'cfw2@po.cwru.edu', 'StartDate': '09/15/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Case Western Reserve University', 'CityName': 'CLEVELAND', 'ZipCode': '441064901', 'PhoneNumber': '2163684510', 'StreetAddress': 'Nord Hall, Suite 615', 'CountryName': 'United States', 'StateName': 'Ohio', 'StateCode': 'OH'}
[{'Code': '2865', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}, {'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '9145', 'Text': 'SPECIAL PROGRAMS-RESERVE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8702425.xml'}