Works matching IS 09567968 AND DT 2004 AND VI 14 AND IP 5

Results: 11

Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 598, doi. 10.1017/s0956796804265327

By:

Nimish Shah

Publication type:

Article

Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002, ISBN 0387953493.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 597, doi. 10.1017/s0956796804255320

By:

John Derrick

Publication type:

Article

The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003, ISBN 1-4039-0772-2 (HB), 0-333-99285-7 (SB).

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 594, doi. 10.1017/s0956796804245324

By:

Peter Hancock

Publication type:

Article

Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 592, doi. 10.1017/s0956796804235328

By:

Frèdèric Loulergue

Publication type:

Article

Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003, ISBN 0-387-95391-4.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 589, doi. 10.1017/s0956796804225321

By:

Mike Thomas

Publication type:

Article

Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 588, doi. 10.1017/s0956796804215325

By:

Nimish Shah

Publication type:

Article

Computer literacy via Scheme and web programming.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 475, doi. 10.1017/s0956796804005052

By:

TIMOTHY J. HICKEY

Publication type:

Article

Enumerating the strings of regular languages.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 503, doi. 10.1017/s0956796803004982

By:

M. DOUGLAS McILROY

Publication type:

Article

Linearization of the lambda-calculus and its relation with intersection type systems.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 519, doi. 10.1017/s0956796803004970

By:

MÁRIO FLORIDO;
LUÍS DAMAS

Publication type:

Article

Two-level types and parameterized modules.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 547, doi. 10.1017/s095679680300488x

By:

TIM SHEARD;
EMIR PASALIC

Publication type:

Article

Global variables in Haskell.

Published in:

Journal of Functional Programming, 2004, v. 14, n. 5, p. 489, doi. 10.1017/s0956796802004471

By:

JOHN HUGHES

Publication type:

Article