Every bit counts: The binary representation of typed data and programs.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 529, doi. 10.1017/S0956796812000263
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2012 AND VI 22 AND IP 4/5
Results: 10
1
2
JFP volume 22 issue 4-5 Cover and Back matter.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. b1, doi. 10.1017/S0956796812000317
- Publication type:
- Article
3
JFP volume 22 issue 4-5 Cover and Front matter.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. f1, doi. 10.1017/S0956796812000305
- Publication type:
- Article
4
Editorial.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 379, doi. 10.1017/S0956796812000287
- By:
- Publication type:
- Article
5
Fortifying macros.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 439, doi. 10.1017/S0956796812000275
- By:
- Publication type:
- Article
6
A unified treatment of syntax with binders.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 614, doi. 10.1017/S0956796812000251
- By:
- Publication type:
- Article
7
The impact of higher-order state and control effects on local relational reasoning.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 477, doi. 10.1017/S095679681200024X
- By:
- Publication type:
- Article
8
Systematic abstraction of abstract machines.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 705, doi. 10.1017/S0956796812000238
- By:
- Publication type:
- Article
9
The Reduceron reconfigured and re-evaluated.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 574, doi. 10.1017/S0956796812000214
- By:
- Publication type:
- Article
10
Lazy tree splitting.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 4/5, p. 382, doi. 10.1017/S0956796812000172
- By:
- Publication type:
- Article