Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Crash-stop failures in asynchronous multiparty session types
Barwell, A. D., Hou, P., Yoshida, N. & Zhou, F., 18 Apr 2025, In: Logical Methods in Computer Science. 21, 2, p. 1-71 71 p., 15526.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
East of Eden: parallel functional programming in Idris
Brown, C. M. & Barwell, A. D., 3 Jul 2025, p. 1-19. 19 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile -
Encoding choice and replication in roll-π
Barwell, A. D., Hou, P., Vassor, M. & Yoshida, N., 2025, Reversible computation: 17th international conference, RC 2025, Odense, Denmark, July 3–4, 2025, proceedings. Glück, R. & Kaarsgaard, R. (eds.). Cham: Springer, p. 27-36 10 p. (Lecture Notes in Computer Science; vol. 15716).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
pi-par: a dependently-typed parallel language with algorithmic skeletons
Brown, C. & Barwell, A. D., 1 Apr 2025, In: International Journal of Parallel Programming. 53, 2, 23 p., 11.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Structural refactorings for exploring dependently typed programming
Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 10 Jan 2025, Trends in functional programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, revised selected papers. Hemann, J. & Chang, S. (eds.). Cham: Springer, p. 1-21 (Lecture notes in computer science; vol. 14843).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Datasets
-
The Missing Link: A New Skeleton for Evolutionary Multi-Agent Systems in Erlang
Janjic, V. (Creator), Brown, C. M. (Contributor), Hammond, K. (Contributor) & Barwell, A. D. (Contributor), Zenodo, 4 Nov 2016
Dataset
-
Structural refactorings for exploring dependently typed programming (code)
Barwell, A. D. (Creator), Brown, C. M. (Creator), Chang, M. S. (Creator) & Theocharis, K. (Creator), GitHub, 2025
https://github.com/kontheocharis/fluid
Dataset: Software
-
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)
Barwell, A. D. (Creator), Hou, P. (Creator), Yoshida, N. (Creator) & Zhou, F. (Creator), Zenodo, 2023
Dataset
Activities
- 1 Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2025
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Ardati, A. A. (Participant), Dearle, A. (Participant), Connor, R. (Participant), Claydon, B. (Participant), Miller, A. (Participant), Sturdee, M. (Participant), Miguel, A. R. (Participant), Manataki, A. (Participant), Cassidy, C. A. (Participant), Pisani, S. (Participant), Brown, C. M. (Participant), Barwell, A. D. (Participant), Myles, C. G. G. (Participant), Harris-Birtill, D. C. C. (Participant), Morrison, D. (Participant), Balasubramaniam, D. (Participant), Dang, N. T. T. (Participant), Brady, E. C. (Participant), Terzic, K. (Participant), Kadi, H. A. (Participant), Oliver, I. A. (Participant), Kennedy, S. E. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Clarke, L. (Participant), Jacques, J. T. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Akgun, O. (Participant), Gent, I. P. (Participant), Jefferson, C. A. (Participant), Konovalov, O. (Participant), Loughney, J. P. (Participant), Letham, R. (Participant), Metcalfe, T. (Participant), Henderson, T. (Participant), Zhang, J. (Participant), Nguyen, R. (Participant), Halite, A. (Participant), Leal Teixeira Gondim Simao, A. (Participant), Ozkaya, A. (Participant), Powell, V. (Participant), Watson, H. (Participant), Nickson, M. (Participant), Sullivan, J. (Participant) & Michalovits, S. (Participant)
1 May 2025Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
Thesis
-
Pattern discovery for parallelism in functional languages
Barwell, A. (Author), Hammond, K. (Supervisor) & Brown, C. (Supervisor), 27 Jun 2018Student thesis: Doctoral Thesis (PhD)