Works matching DE "HASKELL (Computer program language)"


Results: 69
    1
    2
    3

    Haskell for Perlers.

    Published in:
    Perl Review, 2005, v. 2, n. 1, p. 18
    By:
    • Antonsen, Frank
    Publication type:
    Article
    4
    5

    Proofs, Programs, Processes.

    Published in:
    Theory of Computing Systems, 2012, v. 51, n. 3, p. 313, doi. 10.1007/s00224-011-9325-8
    By:
    • Berger, Ulrich;
    • Seisenberger, Monika
    Publication type:
    Article
    6
    7

    How to find a fake coin.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000030
    By:
    • BIRD, RICHARD S.
    Publication type:
    Article
    8
    9

    Pure iso-type systems.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000108
    By:
    • YANG, YANPENG;
    • OLIVEIRA, BRUNO C. D. S.
    Publication type:
    Article
    10

    COCHIS: Stable and coherent implicits.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796818000242
    By:
    • SCHRIJVERS, TOM;
    • OLIVEIRA, BRUNO C.D.S.;
    • WADLER, PHILIP;
    • MARNTIROSIAN, KOAR
    Publication type:
    Article
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20

    A lightweight approach to datatype-generic rewriting.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 375, doi. 10.1017/S0956796810000183
    By:
    • NOORT, THOMAS VAN;
    • YAKUSHEV, ALEXEY RODRIGUEZ;
    • HOLDERMANS, STEFAN;
    • JEURING, JOHAN;
    • HEEREN, BASTIAAN;
    • MAGALHÃES, JOSÉ PEDRO
    Publication type:
    Article
    21

    Scala for generic programmers.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 303, doi. 10.1017/S0956796810000171
    By:
    • OLIVEIRA, BRUNO C. D. S.;
    • GIBBONS, JEREMY
    Publication type:
    Article
    22
    23

    Formal polytypic programs and proofs.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 213, doi. 10.1017/S0956796810000158
    By:
    • VERBRUGGEN, WENDY;
    • DE VRIES, EDSKO;
    • HUGHES, ARTHUR
    Publication type:
    Article
    24
    25
    26
    27

    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
    28
    29
    30
    31

    Data types ? la carte.

    Published in:
    Journal of Functional Programming, 2008, v. 18, n. 4, p. 423
    By:
    • WOUTER SWIERSTRA
    Publication type:
    Article
    32
    33

    Warnings for pattern matching.

    Published in:
    Journal of Functional Programming, 2007, v. 17, n. 3, p. 387, doi. 10.1017/S0956796807006223
    By:
    • MARANGET, LUC
    Publication type:
    Article
    34

    Spreadsheet functional programming.

    Published in:
    Journal of Functional Programming, 2007, v. 17, n. 1, p. 131, doi. 10.1017/S0956796806006186
    By:
    • DAVID WAKELING
    Publication type:
    Article
    35
    36

    Practical type inference for arbitrary-rank types.

    Published in:
    Journal of Functional Programming, 2007, v. 17, n. 1, p. 1, doi. 10.1017/S0956796806006034
    By:
    • SIMON PEYTON JONES;
    • DIMITRIOS VYTINIOTIS;
    • STEPHANIE WEIRICH;
    • MARK SHIELDS
    Publication type:
    Article
    37

    Parallel functional programming in Eden.

    Published in:
    Journal of Functional Programming, 2005, v. 15, n. 3, p. 431, doi. 10.1017/s0956796805005526
    By:
    • RITA LOOGEN;
    • YOLANDA ORTEGA-MALLN;
    • RICARDO PEA-MAR
    Publication type:
    Article
    38
    39
    40
    41

    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
    42
    43

    Formatting: a class act.

    Published in:
    Journal of Functional Programming, 2003, v. 13, n. 5, p. 935, doi. 10.1017/s0956796802004367
    By:
    • RALF HINZE
    Publication type:
    Article
    44

    6 Predefined Types and Classes.

    Published in:
    Journal of Functional Programming, 2003, v. 13, n. 1, p. 81, doi. 10.1017/s0956796803000819
    By:
    • SIMON PEYTON JONES
    Publication type:
    Article
    45

    1 Introduction.

    Published in:
    Journal of Functional Programming, 2003, v. 13, n. 1, p. i, doi. 10.1017/s0956796803000315
    By:
    • SIMON PEYTON JONES
    Publication type:
    Article
    46
    47
    48
    49
    50