The University of Warwick Library - WebBridge

Graded monads and type-level programming for dependence analysis
Keating, Finnbar.  14th ACM SIGPLAN International Haskell Symposium.    2021-08. p. 27 - 40... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.