Strath

Results: 1550



#Item
91

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS [ABORTED] A trail told by an idiom

Add to Reading List

Source URL: personal.cis.strath.ac.uk

- Date: 2015-07-09 09:29:03
    92

    a submission to PLPVObservational Equality, Now! Thorsten Altenkirch Conor McBride

    Add to Reading List

    Source URL: personal.cis.strath.ac.uk

    - Date: 2015-07-09 09:31:13
      93

      Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Idioms: applicative programming with effects

      Add to Reading List

      Source URL: personal.cis.strath.ac.uk

      - Date: 2015-07-09 09:29:03
        94

        Program Extraction from Nested Definitions Kenji Miyamoto1,? , Fredrik Nordvall Forsberg2,?,?? and Helmut Schwichtenberg1 1 Ludwig-Maximilians-Universit¨

        Add to Reading List

        Source URL: personal.cis.strath.ac.uk

        - Date: 2013-12-28 10:04:09
          95

          On representable graphs Sergey Kitaev Reykjav´ık University, Ofanleiti 2, IS-103 Reykjav´ık, Iceland e-mail: and

          Add to Reading List

          Source URL: personal.cis.strath.ac.uk

          - Date: 2008-07-29 05:07:08
            96

            I Got Plenty o’ Nuttin’ Conor McBride Mathematically Structured Programming University of Strathclyde

            Add to Reading List

            Source URL: personal.cis.strath.ac.uk

            - Date: 2016-04-13 07:57:25
              97

              Positive Inductive-Recursive Definitions Neil Ghani1 , Lorenzo Malatesta1 , and Fredrik Nordvall Forsberg2 1 University of Strathclyde, UK 2

              Add to Reading List

              Source URL: personal.cis.strath.ac.uk

              - Date: 2013-12-28 10:04:11
                98

                Department of Mechanical and Aerospace Engineering AN EXPERIMENTAL INVESTIGATION OF AN ELECTRICAL STORAGE HEATER IN THE CONTEXT OF STORAGE TECHNOLOGIES

                Add to Reading List

                Source URL: www.esru.strath.ac.uk

                - Date: 2013-11-07 06:48:46
                  99

                  Strathprints Institutional Repository Sikka, Prem and Christensen, Michele and Christensen, John and Cooper, Christine and Hadden, Tom and Hargreaves, Deborah and Haslam, Colin and Ireland, Paddy and Morgan, Glenn and Pa

                  Add to Reading List

                  Source URL: strathprints.strath.ac.uk

                  - Date: 2016-12-11 02:49:34
                    100

                    How to Keep Your Neighbours in Order Conor McBride University of Strathclyde Abstract

                    Add to Reading List

                    Source URL: personal.cis.strath.ac.uk

                    - Date: 2014-03-02 05:33:29
                      UPDATE