Hindley

Results: 210



#Item
1Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys

Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2005-10-01 03:14:52
    2Minutes of Board Meeting Tuesday 15th DecemberMeeting Commenced 6.07pm Hungry Hippo, Hindley Street

    Minutes of Board Meeting Tuesday 15th DecemberMeeting Commenced 6.07pm Hungry Hippo, Hindley Street

    Add to Reading List

    Source URL: usasa.sa.edu.au

    - Date: 2016-08-25 07:27:31
      3From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract

      From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract

      Add to Reading List

      Source URL: web.cecs.pdx.edu

      Language: English - Date: 2005-10-01 03:14:51
      4Many Holes in Hindley-Milner Sam Lindley Laboratory for Foundations of Computer Science, University of Edinburgh

      Many Holes in Hindley-Milner Sam Lindley Laboratory for Foundations of Computer Science, University of Edinburgh

      Add to Reading List

      Source URL: www.kb.ecei.tohoku.ac.jp

      - Date: 2008-09-21 17:06:12
        5M. H. Newman’s Typability Algorithm for Lambda-Calculus J. Roger Hindley ∗

        M. H. Newman’s Typability Algorithm for Lambda-Calculus J. Roger Hindley ∗

        Add to Reading List

        Source URL: www.users.waitrose.com

        Language: English - Date: 2012-07-25 04:46:11
          6ERRATA in “Lambda-calculus and Combinators in the 20th Century” F. Cardone, J. Roger Hindley, Chapter 13 (pp. 723–817) in

          ERRATA in “Lambda-calculus and Combinators in the 20th Century” F. Cardone, J. Roger Hindley, Chapter 13 (pp. 723–817) in

          Add to Reading List

          Source URL: www.users.waitrose.com

          Language: English - Date: 2015-03-05 12:58:38
            7ERRATA in “Basic Simple Type Theory” Cambridge University Press 1997, J. Roger Hindley, December 2012 This list includes the list printed on p.xii of the 2008 paperback reprint of

            ERRATA in “Basic Simple Type Theory” Cambridge University Press 1997, J. Roger Hindley, December 2012 This list includes the list printed on p.xii of the 2008 paperback reprint of

            Add to Reading List

            Source URL: www.users.waitrose.com

            Language: English - Date: 2015-03-04 15:52:54
              8ERRATA in “Lambda-calculus and Combinators, an Introduction” 2008 edition, Cambridge University Press, J. Roger Hindley, Jonathan P. Seldin,

              ERRATA in “Lambda-calculus and Combinators, an Introduction” 2008 edition, Cambridge University Press, J. Roger Hindley, Jonathan P. Seldin,

              Add to Reading List

              Source URL: www.users.waitrose.com

              Language: English - Date: 2015-03-04 15:52:37
                9S1 G¨ odel’s Consistency-Proof for Arithmetic by J. R. Hindley, 3 December 2011.

                S1 G¨ odel’s Consistency-Proof for Arithmetic by J. R. Hindley, 3 December 2011.

                Add to Reading List

                Source URL: www.users.waitrose.com

                Language: English - Date: 2011-12-06 16:13:10
                  10Media Release 21 August 2015 HINDLEY ST VENUE SHUT DOWN OVER SAFETY CONCERNS A Hindley Street entertainment venue has been shut down over serious safety concerns, following investigations by Consumer and Business Service

                  Media Release 21 August 2015 HINDLEY ST VENUE SHUT DOWN OVER SAFETY CONCERNS A Hindley Street entertainment venue has been shut down over serious safety concerns, following investigations by Consumer and Business Service

                  Add to Reading List

                  Source URL: www.cbs.sa.gov.au

                  Language: English - Date: 2015-12-13 23:25:21