bsc-leon-vatthauer/Literature.md

# Literature
1. *The* paper https://arxiv.org/pdf/2102.11828.pdf
2. Delay Monad by Capretta https://arxiv.org/pdf/cs/0505037.pdf
3. Altenkirch et al. show problems of the delay monad https://arxiv.org/pdf/1610.09254.pdf
4. Chapman et al. agda formalization of the delay monad https://niccoloveltri.github.io/mscs_final.pdf
5. Delay Monad in Agda: https://www.cse.chalmers.se/~abela/talkTYPES14.pdf
Add CSS, small fixes, rewrite delay monad documentation 2023-09-16 00:02:51 +02:00			`# Literature`
			`1. The paper https://arxiv.org/pdf/2102.11828.pdf`
			`2. Delay Monad by Capretta https://arxiv.org/pdf/cs/0505037.pdf`
			`3. Altenkirch et al. show problems of the delay monad https://arxiv.org/pdf/1610.09254.pdf`
Add "delay monad in agda" slides 2023-11-09 12:41:35 +01:00			`4. Chapman et al. agda formalization of the delay monad https://niccoloveltri.github.io/mscs_final.pdf`
			`5. Delay Monad in Agda: https://www.cse.chalmers.se/~abela/talkTYPES14.pdf`