Back to Results
First PageMeta Content
Computing / Programming language theory / Type class / Generic programming / Glasgow Haskell Compiler / Type system / Kind / Type safety / Haskell / Type theory / Software engineering / Data types


DRAFT Type Families and Elaboration Alejandro Serrano Jurriaan Hage
Add to Reading List

Document Date: 2015-03-04 15:20:42

Open Document

File Size: 248,42 KB

Share Result on Facebook

City

New York / Berlin / /

Company

Matsuda / GHC / /

Country

United States / /

Currency

GHS / /

/

Facility

Computing Sciences Utrecht University / Computer Science University / Utrecht University / /

IndustryTerm

normal type class machinery / search procedure / machinery / search strategy / family applications / food / type family applications / source-to-source processor / possible solution / inmediate solution / proof search / cancellation law / /

Organization

Department of Information and Computing Sciences / OGI School of Science & Engineering / DRAFT Type Families and Elaboration Alejandro Serrano Jurriaan Hage Patrick Bahr Department of Information / University of Copenhagen / Utrecht University / /

Person

Patrick Bahr / Peyton Jones / J. P. Magalh˜aes / D. Vytiniotis / Idris / M. Chakravarty / M. Jones / S. Weirich / References B. A. Yorgey / T. Schrijvers / R. A. Eisenberg / E. Meijer / Generic / M. Sulzmann / S. Peyton Jones / J. Cretin / Alejandro Serrano Jurriaan Hage Patrick / /

Position

editor / Programming / editor / interpreter / representative / instance head / programmer / General / /

Product

Defined / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

New York / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Functional Programming / source-to-source processor / http / /

URL

http /

SocialTag