Works matching IS 09567968 AND DT 2014 AND VI 24 AND IP 1
1
- Journal of Functional Programming, 2014, v. 24, n. 1, p. 56, doi. 10.1017/S0956796814000033
- CHEN, YAN;
- DUNFIELD, JOSHUA;
- HAMMER, MATTHEW A.;
- ACAR, UMUT A.
- Article
2
- Journal of Functional Programming, 2014, v. 24, n. 1, p. f1, doi. 10.1017/S0956796814000082
- Article
3
- Journal of Functional Programming, 2014, v. 24, n. 1, p. b1, doi. 10.1017/S0956796814000094
- Article
4
- Journal of Functional Programming, 2014, v. 24, n. 1, p. 113, doi. 10.1017/S0956796814000045
- SCULTHORPE, NEIL;
- HUTTON, GRAHAM
- Article
5
- Journal of Functional Programming, 2014, v. 24, n. 1, p. 1, doi. 10.1017/S0956796813000312
- DOWNEN, PAUL;
- ARIOLA, ZENA M.
- Article