JFP volume 24 issue 2-3 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. b1, doi. 10.1017/S0956796814000148
- Publication type:
- Article
Works matching IS 09567968 AND DT 2014 AND VI 24 AND IP 2/3
Results: 11
1
2
Realm of Racket.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
3
Transporting functions across ornaments.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 316, doi. 10.1017/S0956796814000069
- By:
- Publication type:
- Article
4
On the complexity of stream equality.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 166, doi. 10.1017/S0956796813000324
- By:
- Publication type:
- Article
5
Proof-producing translation of higher-order logic into pure and stateful ML.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 284, doi. 10.1017/S0956796813000282
- By:
- Publication type:
- Article
6
JFP volume 24 issue 2-3 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. f1, doi. 10.1017/S0956796814000136
- Publication type:
- Article
7
Special Issue Dedicated to ICFP 2012: Editorial.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 131, doi. 10.1017/S0956796814000124
- By:
- Publication type:
- Article
8
Beginning Haskell.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
9
Pushdown flow analysis with abstract garbage collection.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 218, doi. 10.1017/S0956796814000100
- By:
- Publication type:
- Article
10
Propositions as sessions.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 384, doi. 10.1017/S095679681400001X
- By:
- Publication type:
- Article
11
Elaborating intersection and union types.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 133, doi. 10.1017/S0956796813000270
- By:
- Publication type:
- Article