Linked visualisations via Galois dependencies

Roly Perera, Minh Nguyen, Tomas Petricek 0001, Meng Wang. Linked visualisations via Galois dependencies. Proceedings of the ACM on Programming Languages, 6(POPL):1-29, 2022. [doi]

Authors

Roly Perera

This author has not been identified. Look up 'Roly Perera' in Google

Minh Nguyen

This author has not been identified. Look up 'Minh Nguyen' in Google

Tomas Petricek 0001

This author has not been identified. Look up 'Tomas Petricek 0001' in Google

Meng Wang

This author has not been identified. It may be one of the following persons: Look up 'Meng Wang' in Google