Type-safe higher-order channels with channel locality.
Saved in:
| Title: | Type-safe higher-order channels with channel locality. |
|---|---|
| Authors: | PARK, SUNGWOO1 gla@postech.ac.kr, HYEONSEUNG IM1 genilhs@postech.ac.kr |
| Source: | Journal of Functional Programming. Jan2009, Vol. 19 Issue 1, p107-142. 36p. |
| Database: | Mathematics Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796808006989 |