An exploration of Linear Types in Haskell through the LinearTypes GHC extension.
This research was conducted under the supervision of Dr. Lourdes del Carmen González Huesca to receive my Bachelor’s degree in Computer Science.
Document in Spanish.