Parametricity, type equality, and higher-order polymorphism.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 2, p. 175, doi. 10.1017/S0956796810000079
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2010 AND VI 20 AND IP 2
Results: 3
1
2
Lightweight checkpointing for concurrent ML.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 2, p. 137, doi. 10.1017/S0956796810000067
- By:
- Publication type:
- Article
3
Experience report: Functional programming in C-Rules.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 2, p. 123, doi. 10.1017/S0956796810000018
- By:
- Publication type:
- Article