Papers
-
Deriving distributive laws for graded linear types
Jack Hughes, Michael Vollmer, Dominic Orchard.
In the post proceedings of the 2020 Joint Workshop on Linearity & TLLA: The 6th Workshop on Linearity and the 4th Workshop on Trends in Linear Logic and Applications. Electronic Proceedings in Theoretical Computer Science (EPTCS) 353, pages 109--131.
doi: 10.4204/EPTCS.353.6
[PDF]
-
Linear Exponentials as Graded Modal Types
Jack Hughes, Daniel Marshall, James Wood, Dominic Orchard.
Extended abstract at the 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021)
HAL Id: lirmm-03271465
[PDF]
-
Resourceful program synthesis from graded linear types 🥇
Jack Hughes, Dominic Orchard.
In: Fernández M. (eds) Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science, vol 12561. Springer, Cham (LOPSTR 2020)
doi: 10.1007/978-3-030-68446-4_8
[PDF]