JFP volume 23 issue 1 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 1, p. b1, doi. 10.1017/S0956796812000445
- Publication type:
- Article
Works matching IS 09567968 AND DT 2013 AND VI 23 AND IP 1
Results: 4
1
2
JFP volume 23 issue 1 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 1, p. f1, doi. 10.1017/S0956796812000433
- Publication type:
- Article
3
An insider's look at LF type reconstruction: everything you (n)ever wanted to know.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 1, p. 1, doi. 10.1017/S0956796812000408
- By:
- Publication type:
- Article
4
Syntactic soundness proof of a type-and-capability system with hidden state.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 1, p. 38, doi. 10.1017/S0956796812000366
- By:
- Publication type:
- Article