8030 EPSRC EP/T008911/1 EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations

Wang, Meng (Principal Investigator)

Department of Computer Science

Status	Active
Effective start/end date	1/07/20 → 30/06/23

Structured keywords

Programming Languages

2 Conference Contribution (Conference Proceeding)
2 Article (Academic Journal)

CircuitFlow: A Domain Specific Language for Dataflow Programming
Frohlich, S., Wang, M. & Evans, R., 31 Jan 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (eds.). Springer Nature, p. 79-98 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13165 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Open Access
File
Linked visualisations via Galois dependencies
Perera, R. N. T., Nguyen, M. H., Petricek, T. & Wang, M., 11 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, p. 1-29 7.
Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access
File
26 Downloads (Pure)
Staging with Class: A Specification for Typed Template Haskell
Xie, N., Pickering, M. T., Loh, A., Wu, N., Yallop, J. & Wang, M., 12 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 30 p., 61.
Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access
File
22 Downloads (Pure)