The kernel of ad hoc polymorphism
| Autor: | Boyer, Stephan |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: | |
| Druh dokumentu: | Diplomová práce |
| Popis: | Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016. Cataloged from PDF version of thesis. Includes bibliographical references (page 41). Ad hoc polymorphism allows a value to take on multiple types, with a separate definition of the value provided for each type. We offer a new formalization of this old concept as a typed lambda calculus. Motivated by the aspiration of extending System F with ad hoc constraints, we introduce a new mechanism for implicit parameter passing. Putting these ideas together, we present a practical replacement for bounded type quantification with simpler metatheory. by Stephan Boyer. M. Eng. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|