First Page | Document Content | |
---|---|---|
Date: 2018-03-25 20:15:13 | Handling Fibred Computational Effects Effect Handlers in a Dependently Typed Setting Danel Ahman Prosecco Team at Inria ParisAdd to Reading ListSource URL: danelahman.github.ioDownload Document from Source WebsiteFile Size: 250,71 KBShare Document on Facebook |