The coinductive resumption monad

The coinductive resumption monad

Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Piróg, M, Gibbons, J
Ձևաչափ: Conference item
Հրապարակվել է: 2014
Search Result 1
The coinductive resumption monad

The coinductive resumption monad ‌ Piróg, M, Gibbons, J

Հրապարակվել է 2014
Journal article
Ցույց տալ բոլոր տարբերակները (2)

Նմանատիպ նյութեր