Connecting you to content on EBSCOhost

Works matching IS 09567968 AND DT 2010 AND VI 20 AND IP 1

Results: 5

1

The arrow calculus.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 1, p. 51, doi. 10.1017/S095679680999027X

By:

Lindley, Sam;
Wadler, Philip;
Yallop, Jeremy

Publication type:

Article

2

Linear type theory for asynchronous session types.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 1, p. 19, doi. 10.1017/S0956796809990268

By:

Gay, Simon J.;
Vasconcelos, Vasco T.

Publication type:

Article

3

Ott: Effective tool support for the working semanticist.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 1, p. 71, doi. 10.1017/S0956796809990293

By:

Sewell, Peter;
Nardelli, Francesco Zappa;
Owens, Scott;
Peskine, Gilles;
Ridge, Thomas;
Sarkar, Susmit;
Strniša, Rok

Publication type:

Article

4

EDUCATIONAL PEARL: "Little language" project modules.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 1, p. 3, doi. 10.1017/S0956796809990281

By:

Clements, John;
Fisler, Kathi

Publication type:

Article

5

FUNCTIONAL PEARLS.

Published in:

Journal of Functional Programming, 2010, v. 20, n. 1, p. 1, doi. 10.1017/S0956796809990256

By:

Gibbons, Jeremy

Publication type:

Article