Declarative programming

Results: 415



#Item
1Software engineering / Declarative programming / Computing / Functional programming / Programming paradigms / Evaluation strategy / Functional reactive programming / Digital signal processing / Formal methods / Arrow / International Conference on Functional Programming / Signal

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

Add to Reading List

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

Language: English - Date: 2014-08-18 11:37:15
2

Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2014-03-10 07:32:15
    3

    Introduction Grapefruit in detail Declarative Programming of Interactive Systems with Grapefruit Wolfgang Jeltsch

    Add to Reading List

    Source URL: www.ioc.ee

    - Date: 2012-04-24 14:50:38
      4

      Chapter 14 Improving Push-based FRP Wolfgang Jeltsch1 Category: Research Abstract: Push-based implementations of Functional Reactive Programming allow for writing reactive programs in a declarative style and execute the

      Add to Reading List

      Source URL: www.ioc.ee

      - Date: 2012-04-24 14:50:32
        5

        Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

        Add to Reading List

        Source URL: dbai.tuwien.ac.at

        - Date: 2013-09-24 06:14:24
          6

          Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

          Add to Reading List

          Source URL: dbai.tuwien.ac.at

          - Date: 2013-06-20 14:18:41
            7

            Towards Fast and Declarative Meta-programming Antony F. Bowers and Corin A. Gurr January 1995 Abstract Meta-programming, the ability to manipulate programs as data, is fundamental to the success of declarative languages.

            Add to Reading List

            Source URL: repository.readscheme.org

            - Date: 2010-10-22 08:05:10
              8

              Declarative Programming and (Co)Induction Duration: 20 hours Teachers: Davide Ancona – DIBRIS, University of Genova - Elena Zucca - DIBRIS, University of Genova - When: April

              Add to Reading List

              Source URL: phd.dibris.unige.it

              - Date: 2016-01-15 11:17:54
                9Software engineering / Computer programming / Declarative programming / Functional languages / Functional programming / Data types / Type theory / Compilers / Template Haskell / Haskell / Generalized algebraic data type / Metaprogramming

                DSLs in Haskell Ryan Newton Back-end

                Add to Reading List

                Source URL: vjovanov.github.io

                Language: English - Date: 2016-08-07 07:28:53
                10Computer programming / Software engineering / Computing / Conflict-free replicated data type / Data types / Functional programming / Laboratory for Atmospheric and Space Physics / Tree / Toi / Monad

                Declarative, Sliding Window Aggregations for Computations at the Edge Christopher Meiklejohn Seyed H. Haeri (Hossein), Peter Van Roy

                Add to Reading List

                Source URL: christophermeiklejohn.com

                Language: English - Date: 2016-08-08 07:05:20
                UPDATE