About: Composing bidirectional programs monadically

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Composing bidirectional programs monadically Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : linkeddata.uriburner.com:28898 associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ArticleEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #72625 Composing bidirectional programs monadically
sameAs	Composing bidirectional programs monadically
http://eprints.org/ontology/hasAccepted	Composing bidirectional programs monadically (PDF)
http://eprints.org/ontology/hasDocument	Composing bidirectional programs monadically (PDF) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (PDF) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other) Composing bidirectional programs monadically (Other)
http://eprints.org/ontology/hasPublished	Composing bidirectional programs monadically (PDF)
dc:hasVersion	Composing bidirectional programs monadically (PDF) Composing bidirectional programs monadically (PDF)
Title	Composing bidirectional programs monadically
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2019-04-06
Creator	Dominic A. Orchard Meng Wang Li-Yao Xia
status	peer reviewed published
Publisher	Springer
abstract	Software frequently converts data from one representation to another and vice versa. Naively specifying both conversion directions separately is error prone and introduces conceptual duplication. Instead, bidirectional programming techniques allow programs to be written which can be interpreted in both directions. However, these techniques often employ unfamiliar programming idioms via restricted, specialised combinator libraries. Instead, we introduce a framework for composing bidirectional programs monadically, enabling bidirectional programming with familiar abstractions in functional languages such as Haskell. We demonstrate the generality of our approach applied to parsers/printers, lenses, and generators/predicates. We show how to leverage compositionality and equational reasoning for the verification of round-tripping properties for such monadic bidirectional programs.
Is Part Of	Financial Cryptography and Data Security https://kar.kent.ac.uk/id/repository
Subject	QA 76 Software, computer programming,
list of authors	https://kar.kent.ac.uk/id/eprint/72625#authors
presented at	28th European Symposium on Programming (ESOP)
volume	11423
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #72625 Composing bidirectional programs monadically

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software