foundations

Results: 7355



#Item
161

Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    162

    2017 ANNUAL REPORT Building foundations ROSE and our partners collaborate for housing, health and heart This year ROSE set in motion a number of efforts that will benefit southeast Portland neighborhoods and the people

    Add to Reading List

    Source URL: rosecdc.org

    - Date: 2018-01-17 17:50:01
      163

      Theoretical Foundations for Compensations in Flow Composition Languages Roberto Bruni Hernan ´ Melgratti

      Add to Reading List

      Source URL: www.di.unipi.it

      - Date: 2006-02-10 09:48:58
        164

        Aperture, a not-for-profit organization, gratefully acknowledges the generosity of numerous individuals, foundations, corporations, and public funders who contribute in support of our mission. $100,000+ Estate of Frederi

        Add to Reading List

        Source URL: aperture.org

        - Date: 2018-03-21 12:57:21
          165

          RDF and SPARQL: Database Foundations Marcelo Arenas, Claudio Gutierrez, Jorge Perez Department of Computer Science Pontificia Universidad Cat´ olica de Chile Universidad de Chile

          Add to Reading List

          Source URL: marenas.sitios.ing.uc.cl

          - Date: 2013-04-26 05:45:30
            166

            990 Form Under section 501(c), 527, or 4947(a)(1) of the Internal Revenue Code (except private foundations)

            Add to Reading List

            Source URL: s3.amazonaws.com

            - Date: 2016-11-18 15:33:12
              167

              Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman Prosecco Team at Inria Paris

              Add to Reading List

              Source URL: danelahman.github.io

              - Date: 2018-03-25 20:15:13
                168

                Under section 501(c), 527, or 4947(a)(1) of the Internal Revenue Code (except private foundations)  Do not enter social security numbers on this form as it may be made public.

                Add to Reading List

                Source URL: s3.amazonaws.com

                - Date: 2016-11-18 15:34:07
                  169

                  Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                  Add to Reading List

                  Source URL: danelahman.github.io

                  - Date: 2018-03-25 20:15:13
                    170

                    Chapter 2 THE SOCIAL FOUNDATIONS OF WORLD HAPPINESS JOHN F. HELLIWELL, HAIFANG HUANG AND SHUN WANG

                    Add to Reading List

                    Source URL: s3.amazonaws.com

                    - Date: 2018-03-13 12:20:36
                      UPDATE