leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

Add "delay monad in agda" slides

Browse source
This commit is contained in:
Leon Vatthauer 2023-11-09 11:41:35 +00:00
parent b6016084ac
commit a3973a0b38
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Literature.md
View file

@ -2,4 +2,5 @@
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
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