Hindley

Results: 210



#Item
11Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic

Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic

Add to Reading List

Source URL: www.users.waitrose.com

Language: English - Date: 2010-01-12 06:53:33
    12The Root-2 Proof as an Example of Non-constructivity J. Roger Hindley. E-mail: March 2015 §1. The following neat proof is well known to mathematicians and is often

    The Root-2 Proof as an Example of Non-constructivity J. Roger Hindley. E-mail: March 2015 §1. The following neat proof is well known to mathematicians and is often

    Add to Reading List

    Source URL: www.users.waitrose.com

    Language: English - Date: 2015-09-03 12:57:11
      13Lambda-calculus and Combinators in the 20th Century ∗ Felice Cardone †, J. Roger Hindley

      Lambda-calculus and Combinators in the 20th Century ∗ Felice Cardone †, J. Roger Hindley

      Add to Reading List

      Source URL: www.users.waitrose.com

      Language: English - Date: 2009-06-20 06:40:09
        14Combinatory Logic and Program Synthesis Jakob Rehof Technical University of Dortmund Joint work w. B. D¨ udder, M. Martens (Dortmund) and P. Urzyczyn (Warsaw) and special thanks to Roger Hindley and the Torino λ-calcul

        Combinatory Logic and Program Synthesis Jakob Rehof Technical University of Dortmund Joint work w. B. D¨ udder, M. Martens (Dortmund) and P. Urzyczyn (Warsaw) and special thanks to Roger Hindley and the Torino λ-calcul

        Add to Reading List

        Source URL: www-seal.cs.tu-dortmund.de

        Language: English - Date: 2015-02-13 06:17:02
          15A Matter of Trust? How supporters are democratising football Dr David Hindley A particular feature of the changing nature of football governance in

          A Matter of Trust? How supporters are democratising football Dr David Hindley A particular feature of the changing nature of football governance in

          Add to Reading List

          Source URL: www.playthegame.org

          Language: English - Date: 2014-05-07 09:46:42
            16

            Cruise No. Cruise Contacts Return to Chris Hindley - BAS_ 1) Please confirm that you are the PS. (If not, who is? If there is more than one PS please give names and

            Add to Reading List

            Source URL: www.antarctica.ac.uk

            Language: English - Date: 2015-06-15 11:35:38
              17Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´

              Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´

              Add to Reading List

              Source URL: www.math.nagoya-u.ac.jp

              Language: English - Date: 2013-12-10 00:25:45
              18Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr

              Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr

              Add to Reading List

              Source URL: caml.inria.fr

              Language: English - Date: 2011-11-23 02:41:37
              19

              PDF Document

              Add to Reading List

              Source URL: www.cis.upenn.edu

              Language: English - Date: 2002-01-23 08:33:00
              20Experiments in generic programming: runtime type representation and implicit values Pierre Chambart1 , Grégoire Henry2 OUD 2012

              Experiments in generic programming: runtime type representation and implicit values Pierre Chambart1 , Grégoire Henry2 OUD 2012

              Add to Reading List

              Source URL: oud.ocaml.org

              Language: English - Date: 2012-09-18 14:53:50