Works matching IS 09567968 AND DT 2008 AND VI 18 AND IP 5/6

Results: 8

Building language towers with Ziggurat.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 707, doi. 10.1017/S0956796808006928

By:

FISHER, DAVID;
SHIVERS, OLIN

Publication type:

Article

Editorial.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 565, doi. 10.1017/S0956796808006965

By:

Lawall, Julia

Publication type:

Article

A pattern for almost compositional functions.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 567, doi. 10.1017/S0956796808006898

By:

BRINGERT, BJÖRN;
RANTA, AARNE

Publication type:

Article

Hoare type theory, polymorphism and separation.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 865, doi. 10.1017/S0956796808006953

By:

NANEVSKI, ALEKSANDAR;
MORRISETT, GREG;
BIRKEDAL, LARS

Publication type:

Article

Transactional events.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 649, doi. 10.1017/S0956796808006916

By:

DONNELLY, KEVIN;
FLUET, MATTHEW

Publication type:

Article

Modular development of certified program verifiers with a proof assistant,.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 599, doi. 10.1017/S0956796808006904

By:

CHLIPALA, ADAM

Publication type:

Article

Exploiting reachability and cardinality in higher-order flow analysis.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 821, doi. 10.1017/S0956796808006941

By:

MIGHT, MATTHEW;
SHIVERS, OLIN

Publication type:

Article

Algebraic fusion of functions with an accumulating parameter and its improvement.

Published in:

Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 781, doi. 10.1017/S095679680800693X

By:

KATSUMATA, SHIN-YA;
NISHIMURA, SUSUMU

Publication type:

Article