Hindley–Milner

Results: 144



#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
    2From 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
    3Many 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
      4Ambivalent 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
      5Chapter 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
      6

      PDF Document

      Add to Reading List

      Source URL: www.cis.upenn.edu

      Language: English - Date: 2002-01-23 08:33:00
      7Experiments 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
      8Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA

      Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA

      Add to Reading List

      Source URL: gallium.inria.fr

      Language: English - Date: 2014-06-12 04:54:36
      9An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure

      An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure

      Add to Reading List

      Source URL: eli-project.sourceforge.net

      Language: English - Date: 2008-08-29 15:29:08
      10T I M S S Supplement Variables Derived from the Student and Teacher

      T I M S S Supplement Variables Derived from the Student and Teacher

      Add to Reading List

      Source URL: isc.bc.edu

      Language: English - Date: 2000-03-08 10:34:52