Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Fowler, S. , Haller, P., Kuhn, R., Lindley, S., Scalas, A. and Vasconcelos, V. T. (2024) Behavioural Types for Heterogeneous Systems (Position Paper). In: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2024), Luxembourg City, Luxembourg, 06 April 2024, pp. 37-48. (doi: 10.4204/EPTCS.401.4)

Fowler, S. , Attard, D. P., Sowul, F., Gay, S. and Trinder, P. (2023) Special delivery: programming with mailbox types. Proceedings of the ACM on Programming Languages, 7(ICFP), 191. (doi: 10.1145/3607832)

Fowler, S. , Kokke, W., Dardha, O. , Lindley, S. and Morris, J. G. (2023) Separating sessions smoothly. Logical Methods in Computer Science, 19(3), 3. (doi: 10.46298/lmcs-19(3:3)2023)

Fowler, S. , Attard, D. P., Sowul, F., Gay, S. and Trinder, P. (2023) Artifact for "Special Delivery: Programming with Mailbox Types". [Artefact]

MacGregor, R., Archibald, B. and Trinder, P. (2023) Generic exact combinatorial search at HPC scale. International Journal of Parallel Programming, 51(1), pp. 83-106. (doi: 10.1007/s10766-022-00744-3)

Lubbers, M., Koopman, P., Ramsingh, A., Singer, J. and Trinder, P. (2023) Could tierless languages reduce IoT development grief? ACM Transactions on Internet of Things, 41(1), 6. (doi: 10.1145/3572901)

Fowler, S. , Galpin, V. and Cheney, J. (2022) Language-Integrated Query for Temporal Data. In: ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE), Auckland, New Zealand, 06-07 Dec 2022, pp. 5-19. ISBN 9781450399203 (doi: 10.1145/3564719.3568690)

Gay, S. J. , Pocas, D. and Vasconcelos, V. T. (2022) The Different Shades of Infinite Session Types. In: 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022), Munich, Germany, 02-07 Apr 2022, pp. 347-367. ISBN 9783030992521 (doi: 10.1007/978-3-030-99253-8_18)

MacGregor, R., Trinder, P. and Loidl, H.-W. (2021) Improving GHC Haskell NUMA Profiling. In: ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing (FHPNC 2021), 22 August 2021, pp. 1-12. ISBN 9781450386142 (doi: 10.1145/3471873.3472974)

Fowler, S. , Kokke, W., Dardha, O. , Lindley, S. and Morris, J. G. (2021) Separating Sessions Smoothly. In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 23-27 Aug 2021, 36:1-36:18. ISBN 9783959772037 (doi: 10.4230/LIPIcs.CONCUR.2021.36)

Harvey, P. , Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021, (doi: 10.4230/LIPIcs.ECOOP.2021.10)

Harvey, P. , Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

This list was generated on Fri Apr 26 19:24:55 2024 BST.