Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed] - Hindley - Document - PDFSEARCH.IO

First Page	Meta Content
	Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed] Add to Reading List Document Date: 2015-03-31 10:51:45 Open Document File Size: 1,35 MB Share Result on Facebook Company AB(A / Currency pence / / / IndustryTerm type systems / external web / / Person Animal / Sean McDirmid / / Position General channel routing / editor / Γ`e / Product Pentax K-x Digital Camera / / ProgrammingLanguage Java / Smalltalk / Scala / / ProvinceOrState Alberta / / Technology functional programming / LAN / Java / 0 kC Technology / GPS / / URL http / SocialTag Computing Type system Subtype polymorphism Type class Type inference Covariance and contravariance Type safety Hindley–Milner Polymorphism Type theory

Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed]Add to Reading List