Number of items: 1.
2021
Keating, Finnbar and Gale, Michael B.
(2021)
Graded monads and type-level programming for dependence analysis.
In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell
pp. 27-40.
ISBN 9781450386159.
doi:10.1145/3471874.3472981
This list was generated on Wed Apr 24 06:54:08 2024 BST.