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 / /