Back to Results
First PageMeta Content
Lambda calculus / Functional programming / Type theory / Data types / Formal methods / Monad / Fixed-point combinator / Map / Type class / Software engineering / Computing / Computer programming


Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab
Add to Reading List

Document Date: 2010-10-22 08:05:12

Open Document

File Size: 143,96 KB

Share Result on Facebook

City

Tallinn / /

Country

Estonia / /

/

Event

Person Communication and Meetings / /

Facility

University Bloomington / /

IndustryTerm

machinery / e - q / e - o / e - b / car ls / e - t / e - r / e - l / car args / e - c / dispatch algorithm / e - i / symmetric dispatch algorithm / /

Organization

National Science Foundation / Lilly Endowment / Indiana University / /

Person

Jeremy Siek / Abdulaziz Ghuloum / Ronald Garcia / R. Kent Dybvig / Ronald Garcia Andrew Lumsdaine / /

/

Position

programmer / /

ProgrammingLanguage

Haskell / CLOS / Common Lisp / Java / Lisp / /

Technology

Functional Programming / object-oriented programming / simulation / symmetric dispatch algorithm / dispatch algorithm / Java / /

SocialTag