Haskell

Results: 1146



#Item
431Audubon movement / National Audubon Society / Haskell-Baker Wetlands / Flint Hills / Haskell Indian Nations University / Kansas / Geography of the United States / Lawrence /  Kansas

PDF Document

Add to Reading List

Source URL: www.nfhas.org

Language: English - Date: 2013-09-24 14:21:17
432Mathematics / Monad / Covert channel / Concurrent Haskell / Information flow / Parity of a permutation / Parallel computing / Functional programming / Software engineering / Computer programming

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2012-09-18 17:22:52
433Programming language theory / Computing / The Trustees of Reservations / Software engineering / Haskell / Literate programming

THE TRUSTEES OF RESERVATIONS ARCHIVES & RESEARCH CENTER Guide to Allen C. Haskell Papers,

Add to Reading List

Source URL: www.thetrustees.org

Language: English - Date: 2014-12-24 12:52:02
434Functional languages / Recursion / Programming idioms / Subroutines / Computability theory / Erlang / Haskell / Fixed-point combinator / Closure / Software engineering / Computer programming / Computing

PDF Document

Add to Reading List

Source URL: www.erlang-factory.com

Language: English - Date: 2011-09-19 06:17:29
435Subroutines / Functional programming / Lambda calculus / Anonymous function / Closure / Function / Higher-order function / XSLT / Haskell 98 features / Software engineering / Computing / Declarative programming

Implementing Closures in XSLT/XPath 3.0

Add to Reading List

Source URL: www.xfront.com

Language: English - Date: 2012-11-17 18:09:06
436Functional languages / Haskell / Functional programming / OCaml / Lisp / First-class function / ML / Clojure / E / Software engineering / Computing / Computer programming

Functional Programming and Verification

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2014-11-11 04:16:03
437Functional languages / Type system / Type safety / Programming language / Haskell / OCaml / Racket / ML / ALGOL 68 / Software engineering / Computing / Programming language theory

Technical Report UCAM-CL-TR-605 ISSNNumber 605

Add to Reading List

Source URL: www.lochan.org

Language: English - Date: 2005-03-28 17:00:33
438Computer programming / Type theory / Polymorphism / Data types / Glasgow Haskell Compiler / Subtype polymorphism / Compiler / Algorithm / Analysis / Software engineering / Computing / Object-oriented programming

Simple Polymorphic Usage Analysis Simple Polymorphic Usage Analysis

Add to Reading List

Source URL: www.lochan.org

Language: English - Date: 2005-03-28 17:24:02
439American Indian Higher Education Consortium / Haskell Indian Nations University / North Central Association of Colleges and Schools / Haskell / Programming language theory / Kansas / Lawrence /  Kansas / Software engineering

Safety is in Your Hands 16th Annual Haskell Safety, Health, and Wellness Fair Sponsored by

Add to Reading List

Source URL: www.haskell.edu

Language: English - Date: 2015-02-10 22:40:39
440William Haskell Alsup / PayPal / Technology / Business / EBay / Electronic commerce / Microsemi

Case3:14-cvWHA Document186 Filed12Page1 of

Add to Reading List

Source URL: iaoc.ietf.org

Language: English - Date: 2014-12-30 18:01:18
UPDATE