| Document Date: 2014-07-10 05:47:06 Open Document File Size: 215,50 KBShare Result on Facebook
City Portland / Simple Unification / / Company Term Int Inc / Microsoft / / Country United States / / Currency USD / SCR / / Facility Cambridge University of Pennsylvania Abstract / / IndustryTerm main inference algorithm / fmgu algorithm / inference algorithm / type applications / type inference algorithm / typical type-inference algorithms / / Organization Cambridge University / University of Pennsylvania / RI RP / / Person Geoffrey Washburn / Simon Peyton Jones Dimitrios Vytiniotis Stephanie / Stephanie Weirich Geoffrey / / Position evaluator / mp / General / programmer / / ProgrammingLanguage Haskell / ML / / ProvinceOrState Oregon / / Technology typical type-inference algorithms / One algorithm / inference algorithm / GADT inference algorithm / ATM / dom / type inference algorithm / main inference algorithm / fmgu algorithm / / URL www.cis.upenn.edu/~dimitriv/dimitriv-inference.html / /
SocialTag |