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

Source URL: web.cecs.pdx.edu

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

Source URL: usasa.sa.edu.au

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

Source URL: web.cecs.pdx.edu

• Type theory
• Software engineering
• Programming language theory
• Computer programming
• Standard ML
• System F
• ML
• Type constructor
• Polymorphism
• Kind
• System U
• Type inference

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

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

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

Source URL: www.users.waitrose.com

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

Source URL: www.users.waitrose.com

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

Source URL: www.users.waitrose.com

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

Source URL: www.users.waitrose.com

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

Source URL: www.users.waitrose.com

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

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