Fingerprint
Dive into the research topics where April Tune is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference Contribution (Conference Proceeding)
-
Noninterference through Bisimulation
Tune, A., Yang, W. & Kavvos, G. A., 5 Oct 2025, Trends in Functional Programming: TFP 2025. Gibbons, J. (ed.). Cham: Springer, Cham, p. 259-280 22 p. (Lecture Notes in Computer Science; vol. 15652).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile19 Downloads (Pure)