Back to Results
First PageMeta Content
Programming language theory / Declarative programming / Functional programming / Kind / Type class / Polymorphism / System F / Type system / Generic programming / Type theory / Software engineering / Data types


Document Date: 2011-10-11 08:21:50

Open Document

File Size: 261,08 KB

Share Result on Facebook

City

New York / Paris / London / /

Company

M. M. T. Chakravarty S. P. / ACM Press / C VAR A X C R EFL co / GADTs / Kinding K VAR co / Oxford University Press Inc. / C VAR A X. / Microsoft / /

Country

United States / United Kingdom / /

Currency

GHS / /

/

Event

Product Recall / Product Issues / Reorganization / /

Facility

HList library / Scrap Your Boilerplate library / Chalmers University of Technology / /

IndustryTerm

machinery / pure type systems / usual sideeffecting unification algorithm / linear-time type checking algorithm / type systems / /

NaturalFeature

FLINT / /

Organization

University of Pennsylvania / ETA / Chalmers University of Technology / Penn PL Club / United Nations / Oxford University / /

Person

Conor McBride / D. Vytiniotis / Nat / RANS C TA BS / G. Washburn / M. Chakravarty / S. Weirich / T. Schrijvers / M. Sulzmann / Tim Sheard / S. Zdancewic / S. Peyton Jones / S. Marlow / Julien Cretin / Brent A. Yorgey Stephanie / /

Position

editor / Haskell programmer / programmer / /

Product

X. / Pentax K-x Digital Camera / Kind-indexed GADTs / /

ProgrammingLanguage

C / K / Haskell / ML / /

ProvinceOrState

New York / /

PublishedMedium

Theoretical Computer Science / /

Technology

functional programming / linear-time type checking algorithm / usual sideeffecting unification algorithm / http / /

URL

http /

SocialTag