{"headerData":{"lastRefreshDate":"06 Jul 2026"},"publicationOverview":{"publication":{"id":"8A37DAC0-F316-40EA-91D0-0FFD5ADFAD1E","resourceUrl":"http://gtr.ukri.org/api/publication/overview?outcomeid=6200ea274bba92.71350401&projectref=#grantRef#","outcomeId":"6200ea274bba92.71350401","title":"Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings","parentPublicationTitle":null,"authors":[{"id":"659d588f5244464b125db472b73b8e2b","resourceUrl":"http://gtr.ukri.org/api/person/659d588f5244464b125db472b73b8e2b","firstName":null,"otherNames":"Graulund C","surname":null,"email":null,"orcidId":null,"displayName":"Graulund C","fullName":"Graulund C"}],"date":1609459200000,"digitalPublicationUrl":"http://dx.doi.org/10.1007/978-3-030-71995-1_15","pubMedId":null,"pubMedUrl":null,"isbn":null,"issn":"0165-0009","publicationUrl":"http://dx.doi.org/10.1007/978-3-030-71995-1_15","abstractText":null,"volume":null,"issue":null,"totalPages":null,"edition":null,"chapterNumber":null,"chapterTitle":"Adjoint Reactive GUI Programming","pageRef":"289-309","series":null,"type":"Book Chapter","firstAuthorName":"Graulund C","grantRef":null},"projects":[{"id":"E2C55C54-DC86-4179-AF2B-DE5667BE0A56","resourceUrl":"http://gtr.ukri.org/projects?ref=studentship-2119874","title":"Modal type theory and Higher-dimensional algebra","status":null,"grantReference":"2119874","grantCategory":"Studentship","abstractText":null,"potentialImpactText":null,"fund":{"valuePounds":0,"start":null,"end":null,"funder":{"id":"47D1BADC-597A-4B3F-8462-4C3BF3018C12","resourceUrl":"http://gtr.ukri.org/api/organisation/47D1BADC-597A-4B3F-8462-4C3BF3018C12","name":"COVID"},"type":"INCOME_ACTUAL"},"output":null,"publications":null,"identifiers":null,"technicalSummary":null,"projectHierarchy":null,"studentshipHierarchy":null,"healthCategories":[],"researchActivities":[],"researchSubjects":[],"researchTopics":[],"rcukProgrammes":[],"hasClassifications":false}],"abstractSnippet":null}}