Functional

Results: 21977



#Item
261

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Add to Reading List

Source URL: florence.io

- Date: 2017-08-17 15:17:55
    262

    Juniper: A Functional Reactive Programming Language for the Arduino Hands-on Sound Visualization Project Please go to http://www.juniper-lang.org/

    Add to Reading List

    Source URL: functional-art.org

    - Date: 2018-01-20 12:19:10
      263

      Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search

      Add to Reading List

      Source URL: jonathan.protzenko.fr

      - Date: 2015-11-24 20:09:38
        264

        Richard Bird Philip Wadler Introduction to Functional Programming

        Add to Reading List

        Source URL: usi-pl.github.io

        - Date: 2018-02-16 09:59:18
          265

          Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2017-11-15 11:58:15
            266

            Juniper: A Functional Reactive Programming Language for the Arduino Caleb Helbling Tufts University Samuel Z. Guyer

            Add to Reading List

            Source URL: functional-art.org

            - Date: 2018-01-20 12:19:10
              267

              Structured Reactive Programming with Polymorphic Temporal Tiles S. Archipoff & D. Janin, Bordeaux INP, UMR CNRS LaBRI, Inria BSO, University of Bordeaux

              Add to Reading List

              Source URL: functional-art.org

              - Date: 2018-01-20 12:19:10
                268

                Scope & Sequence Unit 1: Time for School Grammar and Functional Language Imperatives Sit down. Stand up. Take out your pencil.

                Add to Reading List

                Source URL: www.richmond.com.mx

                - Date: 2018-01-30 14:16:20
                  269

                  Super 8 Languages for Making Movies (Functional Pearl)

                  Add to Reading List

                  Source URL: www.ccs.neu.edu

                  - Date: 2017-09-28 10:09:45
                    270

                    23rd Symposium on Implementation and Application of Functional Languages Lawrence, Kansas, USA October 3-5, 2011. http://www.ittc.ku.edu/if‌l2011/

                    Add to Reading List

                    Source URL: www.ittc.ku.edu

                    - Date: 2011-08-02 01:30:15
                      UPDATE