Connecting you to content on EBSCOhost

Works matching IS 09567968 AND DT 2007 AND VI 17 AND IP 4/5

Results: 5

1

Preface.

Published in:

Journal of Functional Programming, 2007, v. 17, n. 4/5, p. 431, doi. 10.1017/S0956796807006454

By:

Matthew Flatt;
Benjamin C. Pierce

Publication type:

Article

2

Acute: High-level programming language design for distributed computation.

Published in:

Journal of Functional Programming, 2007, v. 17, n. 4/5, p. 547, doi. 10.1017/S0956796807006442

By:

PETER SEWELL;
JAMES J. LEIFER;
KEITH WANSBROUGH;
FRANCESCO ZAPPA NARDELLI;
MAIR ALLEN-WILLIAMS;
PIERRE HABOUZIT;
VIKTOR VAFEIADIS

Publication type:

Article

3

Mechanizing metatheory in a logical framework.

Published in:

Journal of Functional Programming, 2007, v. 17, n. 4/5, p. 613, doi. 10.1017/S0956796807006430

By:

ROBERT HARPER;
DANIEL R. LICATA

Publication type:

Article

4

A logical analysis of aliasing in imperative higher-order functions.

Published in:

Journal of Functional Programming, 2007, v. 17, n. 4/5, p. 473, doi. 10.1017/S0956796807006417

By:

MARTIN BERGER;
KOHEI HONDA;
NOBUKO YOSHIDA

Publication type:

Article

5

Recursive type generativity.

Published in:

Journal of Functional Programming, 2007, v. 17, n. 4/5, p. 433, doi. 10.1017/S0956796807006429

By:

DEREK DREYER

Publication type:

Article