Arrows

Results: 600



#Item
1Software engineering / Computing / Programming paradigms / Evaluation strategy / Functional programming / Computer programming / Concurrent programming languages / Functional reactive programming / Reactive programming / Computer architecture / Dataflow programming / Dataflow

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Add to Reading List

Source URL: thev.net

Language: English - Date: 2011-02-09 02:39:42
2Mathematics / Mathematical analysis / Theoretical computer science / Lambda calculus / Differential calculus / Combinatory logic / Fixed-point combinator / Recursion / Ordinary differential equation / Derivative / Function / Monad

An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science

Add to Reading List

Source URL: thev.net

Language: English - Date: 2009-11-11 16:42:08
3Draft:League Table Weights for BWT

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Add to Reading List

Source URL: thev.net

Language: English - Date: 2009-08-30 21:09:18
    4Software engineering / Computing / Computer programming / Functional programming / Evaluation strategy / Programming paradigms / Computer architecture / Functional reactive programming / Models of computation / Dataflow / Arrow / Reactive programming

    Abstract The Theory and Practice of Causal Commutative Arrows Hai Liu 2011 Arrows are a popular form of abstract computation. Being more general than

    Add to Reading List

    Source URL: thev.net

    Language: English - Date: 2014-02-12 14:21:02
    5

    Causal Commutative Arrows and Their Optimization Hai Liu Eric Cheng Paul Hudak

    Add to Reading List

    Source URL: thev.net

    Language: English - Date: 2009-07-23 11:34:59
      6

      Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge

      Add to Reading List

      Source URL: thev.net

      Language: English - Date: 2016-09-29 13:08:21
        7Declarative programming / Computer programming / Functional programming / Software engineering / Arrow / Monad / Function / Currying / F-algebra / Fold / Derivative

        Causal Commutative Arrows Revisited Jeremy Yallop Hai Liu University of Cambridge, UK

        Add to Reading List

        Source URL: thev.net

        Language: English - Date: 2016-08-08 12:30:37
        8Computer programming / Functional programming / Software engineering / Monad / Arrow / Proof theory / Computability theory / CurryHoward correspondence

        Causal commutative arrows revisited Jeremy Yallop Hai Liu WadlerFest

        Add to Reading List

        Source URL: events.inf.ed.ac.uk

        Language: English - Date: 2016-04-26 12:54:23
        9

        2016 年 10 月 27 日 UNITED ARROWS セールスマスターリング この度、UNITED ARROWS 各店舗の優れた販売のスペシャリストに授与される称号「セール

        Add to Reading List

        Source URL: www.yanks.co.jp

        Language: Japanese - Date: 2016-10-27 01:10:09
          10

          2014 Arrows in the Vineyard Results FEMALE / CADET / FITA-RECURVE TEICHNER, REBECCA 354 1X FEMALE / CADET / RECURVE BAREBOW AHN, JULIE

          Add to Reading List

          Source URL: www.predatorsarchery.com

          Language: Somali - Date: 2017-02-20 20:24:47
            UPDATE