Back to Results
First PageMeta Content
Computing / Type system / Ad-hoc polymorphism / Polymorphism / Parametric polymorphism / Type inference / Subtype polymorphism / System F / ML / Type theory / Software engineering / Programming language theory


Type Classes and Instance Chains: A Relational Approach
Add to Reading List

Document Date: 2013-10-18 06:05:19


Open Document

File Size: 792,57 KB

Share Result on Facebook

Facility

Hook Andrew P. Tolmach M. Paul Latiolais Portland State University / /

IndustryTerm

type class systems / type systems / /

Organization

Computer Science Dissertation Committee / Portland State University / /

Person

Mark P. Jones / Andrew P. Tolmach / John Garrett Morris / Sergio Antoy James / James Hook / /

Position

Chair / advisor / /

ProgrammingLanguage

Haskell / ML / Lambda Calculus / Java / /

Technology

Java / /

SocialTag