Works matching IS 09567968 AND DT 2013 AND VI 23 AND IP 5
Results: 5
JFP volume 23 issue 5 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. b1, doi. 10.1017/S0956796813000233
- Publication type:
- Article
JFP volume 23 issue 5 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. f1, doi. 10.1017/S0956796813000221
- Publication type:
- Article
Idris, a general-purpose dependently typed programming language: Design and implementation.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. 552, doi. 10.1017/S095679681300018X
- By:
- Publication type:
- Article
Counting and generating lambda terms.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. 594, doi. 10.1017/S0956796813000178
- By:
- Publication type:
- Article
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins.
- Published in:
- Journal of Functional Programming, 2013, v. 23, n. 5, p. 515, doi. 10.1017/S0956796813000130
- By:
- Publication type:
- Article