Works matching IS 09567968 AND DT 2009 AND VI 19

Results: 48

The worker/wrapper transformation.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 227, doi. 10.1017/S0956796809007175

By:

ANDY GILL;
GRAHAM HUTTON

Publication type:

Article

Essentials of Programming Languages (third edition).

Published in:

2009

By:

Chitil, Olaf

Publication type:

Book Review

Monadic constraint programming.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 6, p. 663, doi. 10.1017/S0956796809990086

By:

Schrijvers, Tom;
Stuckey, Peter;
Wadler, Philip

Publication type:

Article

A domain-specific language for experimental game theory.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 6, p. 645, doi. 10.1017/S0956796809990220

By:

Walkingshaw, Eric;
Erwig, Martin

Publication type:

Article

Purely Functional 1-2 Brother Trees.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 6, p. 633, doi. 10.1017/S0956796809007333

By:

Hinze, Ralf

Publication type:

Article

FUNCTIONAL PEARLS: The Bird Tree.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 5, p. 491, doi. 10.1017/S0956796809990116

By:

Hinze, Ralf

Publication type:

Article

Small-step and big-step semantics for call-by-need.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 6, p. 699, doi. 10.1017/S0956796809990219

By:

Nakata, Keiko;
Hasegawa, Masahito

Publication type:

Article

Revised<sup>6</sup> Report on the Algorithmic Language Scheme.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 1, doi. 10.1017/S0956796809990074

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

FUNCTIONAL PEARLS: The Bird Tree.

Published in:

Journal of Functional Programming, 2009, v. 19, p. 491, doi. 10.1017/S0956796809990116

By:

Hinze, Ralf

Publication type:

Article

Algebra of programming in Agda: Dependent types for relational program derivation.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 5, p. 545, doi. 10.1017/S0956796809007345

By:

Shin-Cheng Mu;
Hsiang-Shang Ko;
Jansson, Patrik

Publication type:

Article

The λ-calculus with constructors: Syntax, confluence and separation.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 5, p. 581, doi. 10.1017/S0956796809007369

By:

Arbiser, Ariel;
Miquel, Alexandre;
Ríos, Alejandro

Publication type:

Article

Editorial.

Published in:

2009

By:

Leroy, Xavier;
Felleisen, Matthias

Publication type:

Editorial

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 5, p. 509, doi. 10.1017/S0956796809007205

By:

Carette, Jacques;
Kiselyov, Oleg;
Chung-Chieh Shan

Publication type:

Article

PART TWO: Standard Libraries.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 159

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

Implementing a normalizer using sized heterogeneous types.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 287, doi. 10.1017/S0956796809007266

By:

Abel, Andreas

Publication type:

Article

The χ-calculus with constructors: Syntax, confluence and separation.

Published in:

Journal of Functional Programming, 2009, v. 19, p. 581, doi. 10.1017/S0956796809007369

By:

Arbiser, Ariel;
Miquel, Alexandre;
Ríos, Alejandro

Publication type:

Article

Algebra of programming in Agda: Dependent types for relational program derivation.

Published in:

Journal of Functional Programming, 2009, v. 19, p. 545, doi. 10.1017/S0956796809007345

By:

Shin-Cheng Mu;
Hsiang-Shang Ko;
Jansson, Patrik

Publication type:

Article

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.

Published in:

Journal of Functional Programming, 2009, v. 19, p. 509, doi. 10.1017/S0956796809007205

By:

Carette, Jacques;
Kiselyov, Oleg;
Chung-Chieh Shan

Publication type:

Article

PART ONE: Language.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 13

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

Editorial.

Published in:

2009

By:

Leroy, Xavier;
Felleisen, Matthias

Publication type:

Editorial

PART THREE: Non-Normative Appendices.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 283

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

Book Review.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 259

By:

Krishna Sankar

Publication type:

Article

PREFACE.

Published in:

Journal of Functional Programming, 2009, v. 19, n. S1, p. 9

By:

Sperber, Michael;
Dybvig, R. Kent;
Flatt, Matthew;
Van Straaten, Anton;
Findler, Robby;
Matthews, Jacob

Publication type:

Article

Categorical semantics for arrows.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 403, doi. 10.1017/S0956796809007308

By:

Jacobs, Bart;
Heunen, Chris;
Hasuo, Ichiro

Publication type:

Article

The essence of the ITERATOR pattern.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 377, doi. 10.1017/S0956796809007291

By:

Gibbons, Jeremy;
Oliveira, Bruno C. d. S.

Publication type:

Article

Algebras for combinatorial search.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 469, doi. 10.1017/S0956796809007321

By:

Spivey, J. Michael

Publication type:

Article

An induction principle for nested datatypes in intensional type theory.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 439, doi. 10.1017/S095679680900731X

By:

Matthes, Ralph

Publication type:

Article

Preface.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 263, doi. 10.1017/S0956796809007242

By:

McBride, Conor;
Uustalu, Tarmo

Publication type:

Article

Parameterised notions of computation.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 335, doi. 10.1017/S095679680900728X

By:

Atkey, Robert

Publication type:

Article

Big-step normalisation.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 311, doi. 10.1017/S0956796809007278

By:

Altenkirch, Thorsten;
Chapman, James

Publication type:

Article

Gabriel--Ulmer duality and Lawvere theories enriched over a general base.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 3/4, p. 265, doi. 10.1017/S0956796809007254

By:

Lack, Stephen;
Power, John

Publication type:

Article

Book Review.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 253

By:

Anthony M. Sloane

Publication type:

Article

JFP volume 19 issue 2 Cover and Front matter.

Published in:: Journal of Functional Programming, 2009, v. 19, n. 2, p. f1, doi. 10.1017/S0956796809007199
Publication type:: Article

JFP volume 19 issue 2 Cover and Back matter.

Published in:: Journal of Functional Programming, 2009, v. 19, n. 2, p. b1, doi. 10.1017/S0956796809007217
Publication type:: Article

The Genuine Sieve of Eratosthenes.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 1, p. 95, doi. 10.1017/S0956796808007004

By:

O'NEILL, MELISSA E.

Publication type:

Article

Linear, bounded, functional pretty-printing.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 1, p. 1, doi. 10.1017/S0956796808006990

By:

SWIERSTRA, S. DOAITSE;
CHITIL, OLAF

Publication type:

Article

Coherence of subsumption for monadic types.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 157, doi. 10.1017/S0956796808006886

By:

JAN SCHWINGHAMMER

Publication type:

Article

Book Review.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 254

By:

Peter Gammie

Publication type:

Article

Book Review.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 256

By:

Saketh Bhamidipati

Publication type:

Article

Regular-expression derivatives re-examined.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 173, doi. 10.1017/S0956796808007090

By:

SCOTT OWENS;
JOHN REPPY;
AARON TURON

Publication type:

Article

Type-safe pattern combinators.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 145, doi. 10.1017/S0956796808007089

By:

MORTEN RHIGER

Publication type:

Article

First-class patterns.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 191, doi. 10.1017/S0956796808007144

By:

BARRY JAY;
DELIA KESNER

Publication type:

Article

Editorial.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 2, p. 143, doi. 10.1017/S0956796809007187

By:

Xavier Leroy

Publication type:

Article

Control effects as a modality.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 1, p. 17, doi. 10.1017/S0956796808006734

By:

THIELECKE, HAYO

Publication type:

Article

FUNCTIONAL PEARL. Proof-directed debugging ? Corrigendum.

Published in:: 2009
Publication type:: Erratum

Commercial uses: Going functional on exotic trades.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 1, p. 27, doi. 10.1017/S0956796808007016

By:

FRANKAU, SIMON;
SPINELLIS, DIOMIDIS;
NASSUPHIS, NICK;
BURGARD, CHRISTOPH

Publication type:

Article

Type-safe higher-order channels with channel locality.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 1, p. 107, doi. 10.1017/S0956796808006989

By:

PARK, SUNGWOO;
HYEONSEUNG IM

Publication type:

Article

From natural semantics to C: A formal derivation of two STG machines.

Published in:

Journal of Functional Programming, 2009, v. 19, n. 1, p. 47, doi. 10.1017/S0956796808006746

By:

DE LA ENCINA, ALBERTO;
PEÑA, RICARDO

Publication type:

Article