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


Categorical and domain theoretic models of parametric polymorphism
Add to Reading List

Document Date: 2007-10-19 09:09:07

Open Document

File Size: 2,17 MB

Share Result on Facebook

City

Edinburgh / /

Organization

United Nations / Department of Theoretical Computer Science / /

Person

Carsten Butz / Lars Birkedal / Martin Hyland / Noah Torp-Smith / John Reynolds / Ivar Rummelhoff / Rasmus Ejlers Møgelberg / Phil Wadler / Milly Maietti / Bodil Biering / Andy Pitts / Thomas Streicher / Christopher Strachey / Alex Simpson / /

Position

supervisor / programmer / /

ProgrammingLanguage

ML / /

PublishedMedium

Theoretical Computer Science / /

Technology

functional programming / same algorithm / /

SocialTag