Coq with Classes Matthieu Sozeau Currently at the IAS, Princeton Project Team πr 2 INRIA Rocquencourt - Ad hoc polymorphism - Document - PDFSEARCH.IO

First Page	Meta Content
	Coq with Classes Matthieu Sozeau Currently at the IAS, Princeton Project Team πr 2 INRIA Rocquencourt & Add to Reading List Document Date: 2012-10-08 11:22:07 Open Document File Size: 524,08 KB Share Result on Facebook Company Classes 3 Solutions / Classes 4 Solutions / / Facility University of Pennsylvania / University Advanced Martial Arts / / IndustryTerm arbitrary search / be found using arbitrary search / / Organization University of Pennsylvania / Philadelphia / / Person Matthieu Sozeau / / ProgrammingLanguage Haskell / / ProvinceOrState Pennsylvania / / Technology Java / / SocialTag Computer programming Data types Object-oriented programming Polymorphism Functional languages Type class Subtype polymorphism Ad-hoc polymorphism Generic programming Software engineering

Coq with Classes Matthieu Sozeau Currently at the IAS, Princeton Project Team πr 2 INRIA Rocquencourt &Add to Reading List