Haskell

Results: 1146



#Item
501ALGOL 68 / Type system / Symbol / Orbifold / Programming language theory / Software engineering / Computing

Safe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Simon Peyton Jones

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:47:03
502Great American Conference / North Central Association of Colleges and Schools / East Central University / Kiamichi Country / Southeastern Oklahoma State University / Education in Oklahoma / Durant /  Oklahoma / South Central Oklahoma / Oklahoma / Southern United States / American Association of State Colleges and Universities

Southern Oklahoma Workforce Briefing February 2015 The Southern Oklahoma Workforce area consists of seventeen counties: Atoka, Bryan, Carter, Choctaw, Coal, Garvin, Haskell, Johnston, Latimer, Le Flore, Love, Marshall,

Add to Reading List

Source URL: okcommerce.gov

Language: English - Date: 2015-02-18 16:50:03
503Functional languages / OCaml / Caml / ML / Functional programming / Preprocessor / Coq / Strong typing / Haskell / Software engineering / Computing / Computer programming

22 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
504

Informatik–Seminar im Sommersemester 2001 Thema: CGI–Programmierung mit Haskell

Add to Reading List

Source URL: www.fh-wedel.de

Language: German - Date: 2001-05-22 09:56:43
    505Formal methods / Functional languages / Functions and mappings / Theoretical computer science / Function / Haskell / Hindley–Milner / Fold / Combinatory logic / Software engineering / Computing / Mathematics

    Worker/wrapper for a Better Life Extended Abstract Brad Torrence Mike Stees

    Add to Reading List

    Source URL: ifl2014.github.io

    Language: English - Date: 2015-03-04 15:20:42
    506Computing / Programming language theory / Type class / Generic programming / Glasgow Haskell Compiler / Type system / Kind / Type safety / Haskell / Type theory / Software engineering / Data types

    DRAFT Type Families and Elaboration Alejandro Serrano Jurriaan Hage

    Add to Reading List

    Source URL: ifl2014.github.io

    Language: English - Date: 2015-03-04 15:20:42
    507Functional languages / Procedural programming languages / Type theory / APL programming language family / Array programming languages / Haskell / APL / ML / K / Software engineering / Computing / Programming language theory

    Compiling APL to Accelerate Through a Typed IL Michael Budde University of Copenhagen [removed] 6. November 2014

    Add to Reading List

    Source URL: hiperfit.dk

    Language: English
    508Harry Bridges / Edward Asner / Wexler / International Longshore and Warehouse Union / West Coast waterfront strike / Rat / Academy Award for Best Cinematography / Roots / United States / Television / Haskell Wexler

    THE HARRY BRIDGES PROJECT PRESENTS From Wharf Rats to Lords of the Dock This iBook was edited by Daniel P. Castillo

    Add to Reading List

    Source URL: www.theharrybridgesproject.org

    Language: English - Date: 2013-11-14 03:00:00
    509Parallel computing / Functional languages / Functional programming / Procedural programming languages / Models of computation / Algorithmic skeleton / Monad / Denotational semantics / Eval / Computing / Software engineering / Computer programming

    Seq no more: Better Strategies for Parallel Haskell Simon Marlow Patrick Maier Hans-Wolfgang Loidl

    Add to Reading List

    Source URL: www.macs.hw.ac.uk

    Language: English - Date: 2010-08-02 12:01:28
    510Functional languages / The Pragmatic Programmer / Erlang / Haskell / Prolog / Computing / Software engineering / Computer programming

    Seven Languages in Seven Weeks

    Add to Reading List

    Source URL: media.pragprog.com

    Language: English - Date: 2012-03-27 11:23:10
    UPDATE