Works matching IS 09567968 AND DT 1996 AND VI 6 AND IP 3

Results: 11

Some lattice-based scientific problems, expressed in Haskell.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 419, doi. 10.1017/S0956796800001787

By:

Carpenter, D. B.;
Glaser, H.

Publication type:

Article

Functional Pearls.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 535, doi. 10.1017/S0956796800001842

By:

Gibbons, Jeremy

Publication type:

Article

Proof-irrelevance out of excluded-middle and choice in the calculus of constructions.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 519, doi. 10.1017/S0956796800001829

By:

Barbanera, Franco;
Berardi, Stefano

Publication type:

Article

Type classes with existential types.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 485, doi. 10.1017/S0956796800001817

By:

Läufer, Konstantin

Publication type:

Article

Haskore music notation – An algebra of music –.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 465, doi. 10.1017/S0956796800001805

By:

Hudak, Paul;
Makucevich, Tom;
Gadde, Syam;
Whong, Bo

Publication type:

Article

Combinators for parsing expressions.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 445, doi. 10.1017/S0956796800001799

By:

Hill, Steve

Publication type:

Article

Functional Pearls.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 527, doi. 10.1017/S0956796800001830

By:

Kennedy, Andrew J.

Publication type:

Article

Operational interpretations of an extension of Fω with control operators.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 393, doi. 10.1017/S0956796800001775

By:

Harper, Robert;
Lillibridge, Mark

Publication type:

Article

On cubism.

Published in:

Journal of Functional Programming, 1996, v. 6, n. 3, p. 379, doi. 10.1017/S0956796800001763

By:

Jacobs, Bart

Publication type:

Article

JFP volume 6 issue 3 Cover and Back matter.

Published in:: Journal of Functional Programming, 1996, v. 6, n. 3, p. b1, doi. 10.1017/S0956796800001751
Publication type:: Article

JFP volume 6 issue 3 Cover and Front matter.

Published in:: Journal of Functional Programming, 1996, v. 6, n. 3, p. f1, doi. 10.1017/S095679680000174X
Publication type:: Article