mirror of
https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git
synced 2024-05-31 07:28:34 +02:00
6 lines
398 B
Markdown
6 lines
398 B
Markdown
# 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
|