Containers, monads and induction recursion
Guardado en:
| Udgivet i: | Mathematical Structures in Computer Science vol. 26, no. 1 (Jan 2016), p. 89-113 |
|---|---|
| Hovedforfatter: | |
| Andre forfattere: | |
| Udgivet: |
Cambridge University Press
|
| Fag: | |
| Online adgang: | Citation/Abstract Full Text - PDF |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|