Linear types in Idris Experiments Links https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf http://requestforlogic.blogspot.com/search/label/linear%20logic Bernardy, Svenningsson, "On the Duality of Streams"